Il modello OpenAI non ancora rilasciato pubblica 719 articoli di matematica e divide i matematici

OpenAI ha pubblicato su GitHub una raccolta di risultati matematici prodotti da un modello di intelligenza artificiale che non ha ancora reso pubblico. Diffusa all'inizio di ottobre 2026, la raccolta comprende centinaia di articoli di ricerca che, secondo l'azienda, risolvono problemi aperti di lunga data. La pubblicazione ha suscitato reazioni nettamente divise tra i matematici.

Quando è stata annunciata, la raccolta contava 722 articoli. Il 7 ottobre tre sono stati ritirati dopo che era stato individuato un errore in una dimostrazione, portando il totale a 719. Finora non sono emerse pubblicamente obiezioni concrete sugli articoli rimanenti. OpenAI afferma che ogni risultato ha richiesto una potenza di calcolo equivalente a circa tre ore di ragionamento con ChatGPT Pro.

La verifica è ancora in corso

Per controllare il lavoro, OpenAI si affida a Lean, un sistema che esprime le dimostrazioni in un linguaggio formale, così che un computer possa verificare ogni passaggio logico. Circa la metà degli articoli è stata confermata in questo modo. Serve però un esame indipendente, non fosse altro per accertare che l'enunciato verificato formalmente corrisponda davvero all'affermazione fatta in ciascun articolo. L'accettazione scientifica dei risultati resta quindi in sospeso.

Il matematico francese Hugo Duminil-Copin, noto per i suoi lavori in teoria della probabilità e fisica statistica, ha dichiarato durante una videoconferenza che nella raccolta compaiono 16 problemi su cui aveva lavorato per anni. A suo giudizio, il nodo centrale non è che una macchina li abbia risolti per prima, ma che i risultati siano arrivati su scala enorme senza dare alla comunità il tempo di assimilarli. Una lettera aperta precedente, firmata da 25 vincitori della Medaglia Fields, aveva avvertito che rilasciare molte soluzioni in una sola volta lascia troppo poco spazio per comprendere le idee e i metodi che vi sono alla base.

Appello al boicottaggio e voci dissenzienti

La Human Mathematics Association (HMA) è andata oltre, sostenendo che il lavoro sia più una dimostrazione di potere tecnologico che un contributo scientifico, ed esortando i matematici a boicottare la collaborazione con OpenAI. Il medaglia Fields Timothy Gowers ha una posizione diversa e afferma che il semplice numero dei risultati non dovrebbe essere automaticamente considerato negativo. La sua preoccupazione riguarda il lungo periodo: i problemi aperti aiutano ad avvicinare i giovani alla matematica, e non è chiaro come reggerà questo percorso.

OpenAI ha dichiarato che finanzierà workshop, conferenze e programmi di ricerca dedicati per aiutare la comunità a dare un senso ai risultati. Sta inoltre condividendo riassunti del ragionamento, stime della potenza di calcolo e materiali di verifica. L'episodio segna una nuova fase del dibattito sul ruolo dell'intelligenza artificiale nella produzione scientifica e su come i ricercatori umani possano tenere il passo.