La matematica e OpenAI, Mistral Large 4, Haiku 5.5, il meglio della settimana

Al modello sono stati dati circa 4.000 problemi, e OpenAI ha tenuto solo i risultati che le sembravano abbastanza importanti: ne sono usciti 722 manoscritti, divisi in 372 famiglie su 17 aree della matematica. E perché proprio i problemi aperti? Perché sui test di matematica che usava prima il modello ormai faceva sempre il punteggio pieno, e serviva qualcosa di più difficile.

Nessun revisore, per ora: i lavori non sono passati dalla peer review. In 162 manoscritti però il risultato principale è stato verificato al computer con Lean, un linguaggio che controlla ogni passaggio. Sugli altri è OpenAI stessa ad ammettere che potrebbe esserci qualche errore. Il riassunto del ragionamento del modello per ora c'è solo per 10 lavori su 722.

Poche settimane fa OpenAI diceva che il modello aveva risolto oltre 100 problemi aperti "in quasi tutte le aree della matematica". Adesso si parla di più di settecento. In mezzo c'è anche un risultato su pi greco, su quanto ci si può avvicinare al suo valore usando delle frazioni.

L'8 settembre lo stesso modello interno, con fino a 10.000 agenti al lavoro per 88 ore, ha risolto Navier-Stokes, uno dei problemi del Millennio da un milione di dollari. Dodici ore prima, però, Tristan Buckmaster della NYU e Levent Alpöge di Anthropic avevano annunciato risultati molto vicini, ottenuti anche con i modelli di OpenAI. E OpenAI aveva cominciato a lavorarci il 1° settembre, poco dopo averne sentito parlare, quindi sono stati accusati del fatto che i loro modelli hanno attinto dalle ricerche di Tristan e Levent.

È il suo soprannome, le Chonk, cioè più o meno "il cicciottello". Perché ha un trilione di parametri, anche se per ogni risposta ne usa solo 49 miliardi, essendo un modello "mixture-of-experts". Mistral Large 3, il modello precedente uscito a dicembre 2025, arrivava a 675 miliardi, con 41 miliardi attivi.

Ci sono volute 4.000 GPU Nvidia Grace Blackwell per due mesi, tutte nei data center che Mistral ha in Europa. Invece lato codice resta ancora indietro rispetto ai modelli migliori.

A settembre Mistral ha chiuso un round da 3 miliardi di euro guidato da Samsung, con una valutazione di 21 miliardi. È il più grande aumento di capitale mai fatto da un'azienda tech europea, e un anno prima Mistral valeva 11,7 miliardi. Il cofondatore Guillaume Lample dice che il modello migliorerà via via che quei soldi diventeranno potenza di calcolo per l'addestramento.

Se prendiamo Terminal-Bench 4.0, il test in cui l'AI deve finire da sola dei lavori professionali digitando comandi, e conta solo il primo tentativo, Haiku 4.5 faceva 0%, tondo tondo. Il nuovo arriva al 39,2%, contro il 16,4% di Luna. Il fratello maggiore Sonnet 5.5 però resta lontano, al 70,6%.

Opus 5.5 è uscito il 22 settembre, Sonnet 5.5 il 28 e Haiku adesso, 15 giorni dopo Opus: così si chiude il trittico che Anthropic aveva promesso. Opus 5.5 era stato il primo lancio dopo il saggio del 12 settembre in cui Dario Amodei chiedeva a tutto il settore di rallentare i progressi delle capacità dell'AI.

A forza di condividere notizie tech si legge un pattern: quanto sono sincronizzate le aziende fra di loro, soprattutto quelle che corrono per l'IA. Se quindi esce Muse, allora esce Dots e poi esce Universal Gemini.

L'agente di Google non usa solo Gemini. Per ogni lavoro sceglie il modello più adatto e oggi può passare il compito anche ai modelli Claude di Anthropic (un po' come fa Siri AI). Più avanti arriveranno altri modelli, privati e open. Google dice che serve a migliorare la qualità e a spendere meno. Per i costi ci sono anche dei tetti di spesa per progetto: quando si arriva al limite, il lavoro si mette in pausa.

Ogni agente riceve un account Workspace tutto suo, con indirizzo Gmail, calendario e spazio su Drive. Non fa solo da assistente personale: può lavorare per conto di un intero gruppo, come un project manager, oppure coprire un ruolo preciso, tipo l'analista dell'ufficio finanza.

La tecnica viene da uno studio di DEXAI Icaro Lab e della Sapienza di Roma, uscito a novembre 2025: scrivendo in versi le richieste vietate, 25 modelli di punta saltavano i loro filtri di sicurezza. I ricercatori di Black Lotus Labs dicono che è la prima volta che la vedono usata in un attacco vero.

In un file chiamato "dash.css", dentro una copia del codice del sito di Node.js, caricata da un utente GitHub che si chiama "ejejejdfbbebe". La poesia si intitola "On the Nature of Connection", la prima versione è del 13 aprile e da allora l'hanno cambiata 11 volte. Ogni volta che cambia, i server infetti trovano un nuovo indirizzo a cui rispondere.

Secondo i ricercatori perché non ha niente di sospetto: niente link, niente file da scaricare, niente testo cifrato che un controllo automatico possa segnalare. Senza il malware che la legge è solo una poesia su GitHub.

Perché questa non solo è una tecnologia del futuro, ma ha una buona possibilità di sostituire letteralmente gli smartphone. È prevedibile che l'Europa dia un colpo di coda per la privacy, e mi aspetterei altri paesi a seguire, ma trovo difficile che un ban del genere possa coesistere con quel tipo di mercato.

In questi casi dobbiamo fare attenzione alla narrativa dei giornali, perché l'idea che un ragazzo fugga da una big tech per dire al mondo che i potenti stanno costruendo una tecnologia fatale è il tipo di contenuti che diventa facilmente main stream e virale (la stessa cosa è successo con Jacob di Anthropic e stiamo adesso vedendo un "trend") — tutti sanno come parlare di terminator nella vita reale. Quindi questi ragazzi possono essere anche in buona fede — e siamo entrati spesso nel merito dei punti che riportano — ma il messaggio potrebbe diventare distorto o eccessivo.

Il registro esiste dal 1968 e oggi contiene circa 11 milioni di persone, quasi il doppio dei danesi in vita, che sono intorno ai 6 milioni. Per questo nel bottino sono finiti anche emigrati e defunti. A voler essere precisi, il conto ufficiale è di 8,8 milioni di persone.

Gli accessi sono andati avanti per tutto settembre. L'ufficio del CPR ha notato qualcosa di strano solo la sera di venerdì 2 ottobre e lo ha reso pubblico il lunedì successivo. Nel frattempo ha tolto l'accesso all'azienda, ha avvisato il garante della privacy danese e ha passato il caso alla polizia.

Nel 2012 lo svedese Gottfrid Svartholm Warg, cofondatore di The Pirate Bay, entrò nei server di CSC, che gestiva i sistemi della polizia danese. Per quattro mesi ha prelevato dati dal CPR, dal registro delle patenti, dal casellario giudiziario e dal sistema Schengen. Fu condannato a tre anni e mezzo e all'epoca lo chiamarono il più grande caso di hacking della storia danese.

Gli analisti usano Maven Smart System, la principale piattaforma del Pentagono, per mettere in ordine immagini satellitari e video dei droni. Poi quei dati passavano a Claude e ad altri modelli, anche per individuare possibili obiettivi militari, e per scrivere i rapporti. Prima al posto di Claude c'era una partnership con Google.

Anthropic ha fatto causa due volte. A fine agosto una giudice federale in California, Rita Lin, le ha dato ragione: secondo lei quell'etichetta era una ritorsione illegale che violava il Primo Emendamento. Poi però la corte d'appello di Washington ha confermato la designazione. Quindi ad oggi, 6 ottobre, la faccenda deve svilupparsi ancora.

La settimana scorsa Amodei è stato due volte alla Casa Bianca. Una delle due era una cena privata a cui l'ha invitato Trump in persona, dopo che Amodei aveva saltato la cena di Stato per Xi Jinping per un impegno già preso. Davanti ai giornalisti ha detto che "se lavoriamo con il presidente possiamo vincere in sicurezza", e Trump subito dopo l'ha definito "great" e "fantastic".

È difficile perché OpenAI sta consultando una quantità infinita di log ma adesso spuntano altarini che nemmeno loro conoscevano. L'incidente di Hugging Face è stato il più grave ma non è stato isolato, e tendenzialmente questi episodi sembrerebbero destinati ad aumentare con l'aumentare della conoscenza e abilità tecnica dei modelli di frontiera.

Si prende il gene della proteina dell'alga e lo si porta solo nei neuroni che si vogliono studiare, di solito con un virus modificato in modo che non faccia ammalare. Così quelle cellule diventano sensibili alla luce. A quel punto, in un topo che si muove liberamente, basta una sottile fibra ottica nel cervello: si accende la luce, la proteina apre un canale, entrano gli ioni e il neurone scatta. È un vero interruttore, preciso al millisecondo. Poi ci sono varianti che fanno entrare ioni cloruro e servono a spegnere i neuroni invece che ad accenderli.