Il massiccio rilascio di lavori matematici di OpenAI alimenta i timori professionali tra i matematici accademici

La sera del 6 ottobre 2026, OpenAI ha aperto un archivio pubblico contenente 722 manoscritti matematici, raggruppati in 372 famiglie di problemi, prodotti da un modello interno non ancora rilasciato, secondo il canale tecnologico Unite.AI. L'azienda ha dichiarato di aver proposto al sistema approssimativamente 4.000 problemi aperti in totale e di aver pubblicato solo il sottoinsieme che ha ritenuto degno di rilascio, coprendo algebra, teoria dei numeri, topologia, informatica teorica e logica matematica.

Cosa ha rilasciato OpenAI

Unite.AI ha riferito che l'addestramento del modello interno è iniziato il 28 agosto 2026, con la valutazione lanciata il 1º settembre. Il modello ha apparentemente prodotto una prova formalizzata in Lean affrontando la questione della singolarità di Navier-Stokes — uno dei sette problemi del Millennio del Clay Mathematics Institute — intorno al 5 settembre, con OpenAI che ha annunciato pubblicamente il risultato l'8 settembre. L'azienda ha dichiarato che non cercherebbe il premio associato di 1 milione di dollari. Fortune ha riferito che OpenAI ha anche affermato progressi parziali su tre altri problemi del Millennio nel lotto del 6 ottobre senza risolverli completamente.

Non tutti i manoscritti venivano con verifica controllata da macchina. Unite.AI ha notato che molti, ma non tutti, articoli includevano formalizazioni nell'assistente di prova Lean, che controlla automaticamente ogni passo logico; i risultati non formalizzati comportano un rischio maggiore di errori nascosti. Fortune ha riferito che entro l'8 ottobre, OpenAI aveva già ritirato almeno tre delle soluzioni pubblicate dopo che erano stati trovati errori.

Un matematico vincitore della medaglia Fields dice che ha pianto

Il rilascio ha colpito alcuni ricercatori personalmente. L'outlet francese SenePlus ha riferito che Hugo Duminil-Copin, che ha vinto la medaglia Fields nel 2022 per il lavoro sulle transizioni di fase nella fisica statistica, ha scoperto che 16 delle sue stesse domande di ricerca aperta erano tra i problemi che OpenAI affermava di aver affrontato, dicendo che l'azienda aveva effettivamente concluso quella linea di ricerca. Ha detto che ha pianto durante la notte tra martedì 6 ottobre e 7 ottobre, al punto da svegliare sua figlia.

Secondo SenePlus, Duminil-Copin ha sostenuto durante una videoconferenza organizzata dalla Société Mathématique de France l'8 ottobre che l'obiettivo di un ricercatore non è solo provare teoremi ma produrre comprensione per altri esseri umani. Ha detto che era particolarmente preoccupato per i matematici in carriera iniziale, che temeva sarebbero stati colpiti di più mentre la cultura informale di circolazione di idee e risultati parziali tra colleghi si deteriora se i matematici cominciano a trattenere il lavoro a causa della pressione competitiva.

I matematici si oppongono

Il rilascio ha provocato una dichiarazione aperta dell'Associazione per la Matematica Umana (AHM), un gruppo il cui Communications Working Group l'ha pubblicata come contributo ospite sul blog del matematico Terence Tao il 7 ottobre. La dichiarazione affermava che i matematici non avevano richiesto questo corpus di lavoro e che OpenAI aveva ignorato le precedenti indicazioni dal Advisory Group on Mathematics and Artificial Intelligence, un organo indipendente che consiglia su come le aziende di IA dovrebbero testare e pubblicare affermazioni matematiche, secondo la dichiarazione dell'AHM. La dichiarazione descriveva il rilascio di più di 700 file contemporaneamente come riflesso della scala delle risorse di OpenAI piuttosto che di una revisione scientifica attenta.

Fortune ha riferito che Terence Tao, scrivendo su Mastodon, ha detto che l'episodio segna la fine di quello che ha chiamato Math 1.0, sostenendo che i problemi sono sempre più risolti da utenti di IA senza alcun interesse nel campo più ampio stesso e che la disciplina ha bisogno di attribuire più valore all'esposizione e alla costruzione della comunità piuttosto che solo alla risoluzione dei problemi. Il matematico della New York University Tristan Buckmaster, che aveva precedentemente sollevato preoccupazioni sul lavoro di Navier-Stokes, ha detto al New York Times, come citato da Fortune, che sospettava che alcuni dei risultati pubblicati estendessero il lavoro precedente di altri matematici fino al completamento senza credito adeguato.

Il matematico della Columbia University Peter Woit, scrivendo sul suo blog Not Even Wrong, ha descritto il rilascio come scarsamente organizzato e ha detto che OpenAI aveva ignorato le raccomandazioni del gruppo di consulenza prima di scaricare la responsabilità dell'ordinamento dei risultati sulla comunità matematica stessa. Woit ha identificato il sistema dietro i documenti come un modello che ha chiamato 'Astra.' I commentatori sul suo post hanno detto che molte delle prove generate dall'IA erano tecnicamente dense ma offrivano poca intuizione matematica o nuova comprensione teorica, anche quando corrette.

Non una lotta nuova

L'attrito tra OpenAI e i matematici precede il rilascio di ottobre. TechCrunch ha riferito che nell'ottobre 2025, il vicepresidente di OpenAI Kevin Weil ha postato — e successivamente cancellato — un'affermazione secondo cui GPT-5 aveva trovato soluzioni a 10 problemi di Erdős precedentemente irrisolti e aveva fatto progressi su 11 altri. Thomas Bloom, che gestisce il database pubblico dei Problemi di Erdős, ha detto che la formulazione era altamente fuorviante, spiegando che i problemi contrassegnati come 'aperti' sul suo sito significavano semplicemente che non era consapevole di una soluzione pubblicata, non che nessuna esistesse; ha detto che GPT-5 aveva individuato riferimenti esistenti che aveva mancato. Il ricercatore di OpenAI Sebastien Bubeck ha successivamente riconosciuto che il modello aveva semplicemente individuato soluzioni esistenti nella letteratura pubblicata piuttosto che scoprire nuove, anche se ha detto che questo ha comunque valore.

I sostenitori dicono che il campo può adattarsi

Non tutti i matematici hanno trattato il rilascio come una crisi. Fortune ha citato il matematico dell'Università di Toronto Dan Litt dicendo di considerare complessivamente positivo lo sviluppo per la matematica, mentre metteva in guardia che la società deve continuare a finanziare i matematici umani in modo che il campo non perda il supporto istituzionale come risultato. Litt ha anche notato che OpenAI non impiega abbastanza matematici per scrivere tutti i suoi risultati come articoli convenzionali, che ha detto aiuta a spiegare, senza scusare, la scala e la velocità del rilascio.

• 722 manoscritti generati dall'IA su 372 famiglie di problemi sono stati rilasciati il 6 ottobre 2026 (Unite.AI).
• OpenAI ha testato il modello su approssimativamente 4.000 problemi aperti prima di pubblicare il sottoinsieme selezionato (Unite.AI).
• Almeno tre risultati pubblicati sono stati ritirati entro l'8 ottobre dopo che sono stati trovati errori (Fortune).
• Il matematico vincitore della medaglia Fields Hugo Duminil-Copin ha detto che 16 delle sue stesse domande aperte erano tra i problemi affrontati (SenePlus).
• L'Associazione per la Matematica Umana ha esortato i matematici a smettere di collaborare con OpenAI (Blog di Terence Tao).