Archivio
-
Jensen Huang si dimette da Nvidia: Colette Kress prende il comando
Jensen Huang si dimette da Nvidia e Colette Kress diventa CEO ad interim. Poi Gemini 4 Hydrogen, Daybreak di OpenAI, la causa…
-
Nvidia verso l’addio a Jensen Huang: il board valuta di rimuovere il fondatore
Secondo il Wall Street Journal il board di Nvidia si prepara a estromettere Jensen Huang. Nella rassegna anche AWS Emulator, Gemini Decisions…
-
AlphaProof Code: agenti IA dimostrano la sicurezza del codice di Signal
Gli agenti di AlphaProof Code hanno scritto sei milioni di righe di dimostrazioni per verificare il codice di Signal. Nella rassegna anche…
-
Claude Fable 5.2: mille agenti formalizzano il teorema di Fermat in 30 ore
Anthropic lancia Claude Fable 5.2 e Mythos 5.2, e mille agenti formalizzano Fermat in 30 ore. Poi Muse Ember di Meta, la…
-
Un’IA ha dimostrato la congettura Aaronson-Ambainis, aperta dal 2008
Un sistema di PSI basato su un modello Anthropic ha dimostrato la congettura Aaronson-Ambainis, verificata in Lean. Poi DeepMind e l’RSA a…
-
Revolut lascia Claude Code per GLM in casa e taglia del 90% i costi dell’IA
Revolut ha spostato il coding con l’IA su GLM ospitato sui propri server e dice di aver tagliato i costi di circa…
-
Qwen in Apple Intelligence: in Cina Siri userà il modello di Alibaba
Alibaba annuncia Qwen in Apple Intelligence per gli iPhone cinesi. Poi l’infostealer VOLTA che usa un LLM per valutare le vittime, OpenAI…
-
Project Suncatcher: il satellite di Google con un TPU in orbita ha scritto un haiku
Il prototipo di Project Suncatcher ha fatto girare Gemma 4 in orbita e ha risposto con un haiku. Poi la backdoor nell’estensione…
-
Gemini 4 Carbon è primo in classifica, ma per ora lo usano solo i difensori informatici
Google presenta Gemini 4 Carbon, primo nell’Intelligence Index ma riservato per ora ai difensori informatici. Poi Microsoft e i 10 miliardi da…
-
Gruppi semplici finiti: gli agenti IA di Axiom verificano in Lean una dimostrazione da 15.000 pagine
Axiom ha formalizzato in Lean la classificazione dei gruppi semplici finiti con decine di agenti IA. Poi Genie 4, LFM3, Anthropic tra…
Newsletter · zero spam
Resta aggiornato, senza rumore.
La rassegna AI ogni mattina oppure il meglio della settimana la domenica: scegli tu cosa ricevere. Ti disiscrivi con un clic.
Preferisci un lettore RSS? Ecco il feed.