L'IA può fare matematica nuova? Cosa mostrano i lavori pubblicati da OpenAI

Cosa è successo

Il 6 ottobre 2026 OpenAI, l'azienda che sviluppa ChatGPT, ha pubblicato online più di 700 manoscritti di matematica. Un manoscritto è un articolo di ricerca che gli esperti non hanno ancora revisionato in modo ufficiale. Li ha scritti un modello di IA che OpenAI usa al proprio interno e che il pubblico non può usare.

Secondo OpenAI, il modello ha ricevuto circa 4.000 problemi, tra cui dei problemi aperti: domande che i matematici non erano riusciti a risolvere. Per ogni risultato, il modello ha passato circa tre ore a «pensare», cioè a lavorare sul problema passo dopo passo prima di scrivere una risposta.

Come viene controllato il lavoro

In matematica un risultato conta solo quando la sua dimostrazione è stata verificata. Una dimostrazione è un ragionamento passo dopo passo che mostra che un'affermazione è sempre vera. Basta un passaggio sbagliato per far crollare tutta la dimostrazione.

• Controlli al computer: per circa il 42% dei risultati principali (al 7 ottobre), OpenAI ha condiviso anche una versione scritta per Lean. Lean è un programma che controlla ogni passaggio di una dimostrazione e rifiuta tutto ciò che non segue logicamente. Le persone devono comunque verificare che quello che Lean ha controllato sia proprio l'affermazione fatta nell'articolo.
• Controlli umani: gli altri risultati non hanno ancora un controllo al computer. I matematici li stanno leggendo, e diversi matematici famosi hanno detto che un risultato non dovrebbe contare finché delle persone non lo hanno controllato e capito.

Le prime correzioni

Il giorno dopo, il 7 ottobre, OpenAI ha ritirato 3 manoscritti. Un errore di segno (un più al posto di un meno, o viceversa) in un articolo ha fatto crollare un ragionamento su cui si basavano altri due articoli. Altri 14 manoscritti sono stati corretti.

La stessa OpenAI descrive questi file come «dati di ricerca grezzi» e non come articoli finiti.

Perché è importante

Questa pubblicazione mostra che oggi l'IA può lavorare per ore su problemi molto difficili. Mostra anche l'altra faccia: anche i sistemi più potenti fanno errori che sembrano piccoli e cambiano tutto, e controllarli richiede agli esperti molto tempo. Si discute ancora su quanto sia grande questo passo per la matematica.

Cosa significa per te quando chatti con ChatPrime

Quando chiedi a ChatPrime di risolvere o spiegare un problema di matematica passo dopo passo, i passaggi possono sembrare convincenti e contenere comunque un errore.

• Controlla ogni passaggio, non solo il risultato finale.
• Sostituisci la soluzione nel problema per vedere se torna, oppure risolvilo in un altro modo.
• Per i compiti, usa la spiegazione per imparare il metodo, poi controlla tu il risultato.

Fonte

OpenAI, manoscritti di matematica, file Lean e registro delle modifiche, ottobre 2026: github.com/openai/math

Correzioni del 7 ottobre 2026: history.md