OpenAI ha pubblicato su GitHub 722 articoli di matematica prodotti da un modello frontier interno non ancora rilasciato, organizzati in 372 famiglie di risultati. Secondo il gruppo indipendente AGMAI, i lavori contengono risultati relativi a centinaia di problemi aperti rimasti a lungo irrisolti; devono tuttavia essere verificati dalla comunità matematica e alcuni potrebbero contenere errori.
Durante la valutazione il modello ha affrontato circa 4 mila problemi; un risultato medio è stato prodotto con circa tre ore di capacità di ragionamento di ChatGPT Pro. OpenAI ha condiviso riassunti del ragionamento per 10 problemi:
- la misura di irrazionalità del numero π
- le congetture di Mahler
- la congettura di finitudine diretta di Kaplansky
- il sistema relativistico di Vlasov-Maxwell tridimensionale
Una parte delle dimostrazioni viene verificata con il sistema Lean; il repository continuerà a essere aggiornato. Un lavoro relativo alla funzione zeta di Riemann è invece stato prodotto con un processo eccezionale ed è stato curato da esseri umani. Il repository contiene anche le regole per l’aggiornamento e la citazione degli articoli.
AGMAI, con sede presso l’Institute for Advanced Study di Princeton, chiede che i risultati vengano pubblicati attraverso i canali accademici, che ci sia trasparenza e che le scoperte non vengano utilizzate come strumento di marketing.
Contesto
OpenAI non è un nome nuovo nell’archivio di FikirPilot: negli ultimi 90 giorni abbiamo pubblicato 80 notizie in cui compare questo nome; la più recente è datata 6 ottobre 2026.