ai
-
Muse Wonder: Meta presenta i modelli agentici con Active Memory e Active Focus
Meta annuncia Muse Wonder e Muse Wonder Full, modelli agentici con Active Memory e Active Focus. Disponibili via Meta Model API e Muse Code.
-
Claude formalizza l’Ultimo Teorema di Fermat: 13 milioni di righe di Lean in 11 giorni
Anthropic dichiara la prima prova di Fermat verificata al computer: 11 giorni di lavoro autonomo, 13 milioni di righe di Lean. Cosa resta da verificare.
-
Gemini 3.8 Flash mantiene il prezzo del 3.7 e porta una variante Cyber a accesso controllato
Google lancia Gemini 3.8 Flash per coding e agenti al prezzo del 3.7, più una variante Cyber per la sicurezza disponibile tramite il Fairwind Program.