Anthropic ha mostrato la prima verifica automatica completa dell'Ultimo Teorema di Fermat: Claude ha tradotto la dimostrazione di Wiles in Lean in 11 giorni: 13,4 milioni di righe, 29.500 teoremi, solo tre assiomi.
Analisi dell'ultimo tutorial: Excel la tabella viene importata in SharePoint, Power Apps assembla un framework da modelli moderni e un agente AI connesso (Claude Code o GitHub Copilot) lo porta a un'applicazione multischermo con KPI, ricerca e moduli, senza una singola riga di codice.
Abbiamo controllato Seedance 2.5 con due generazioni dal vivo. Mostriamo video reali, modalità di riferimento, modifica, estensione e primo/ultimo fotogramma, durata 4-30 secondi e prezzo.
Gemini Omni, Google Omni, Veo Omni - tre nomi di un modello video. Ingresso misto, caratteri salvati, voci e uscita fino a 4K. Come funziona e quanto costa.
DeepSeek V4 Flash si avvicina all'Opus 4.8 nei benchmark del codice, ma costa una frazione di dollaro per milione di token. Cosa è cambiato e come provare il modello.