OpenAI sostiene di aver raggiunto un risultato che, se confermato definitivamente dalla comunità matematica, potrebbe rappresentare uno dei casi più rilevanti di utilizzo dell’intelligenza artificiale nella ricerca teorica avanzata. Secondo quanto dichiarato dall’azienda, un nuovo modello di reasoning avrebbe prodotto una dimostrazione originale capace di confutare una storica congettura geometrica formulata da Paul Erdős nel 1946, rimasta irrisolta per quasi ottant’anni.
L’aspetto più importante non riguarda soltanto la soluzione del problema in sé, ma il modo in cui il modello sarebbe arrivato al risultato. Per decenni, molti matematici avevano ritenuto che la configurazione ottimale associata al problema dovesse assumere una struttura simile a una griglia quadrata. OpenAI afferma invece che il modello abbia individuato una famiglia completamente nuova di strutture geometriche, superiori rispetto agli approcci ipotizzati fino ad oggi e sufficienti a costruire un controesempio concreto alla convinzione dominante.
Il risultato viene presentato come un caso di ragionamento matematico autonomo ottenuto tramite un modello generalista e non attraverso un sistema simbolico progettato esclusivamente per la matematica formale. Questo dettaglio è centrale, perché implica che il modello non si sarebbe limitato a recuperare soluzioni presenti nella letteratura esistente o a eseguire ricerca combinatoria guidata, ma avrebbe mantenuto una lunga catena di inferenze logiche collegando idee provenienti da aree differenti della matematica. OpenAI descrive infatti il processo come una capacità di reasoning prolungato, con gestione estesa della chain-of-thought e costruzione iterativa di nuove configurazioni geometriche.
La società ha posto particolare attenzione al processo di validazione, anche per evitare le polemiche nate nei mesi scorsi dopo precedenti dichiarazioni sui problemi di Erdős. In quel caso, alcune presunte “nuove soluzioni” attribuite ai modelli AI si rivelarono già presenti nella letteratura matematica, generando forti critiche da parte di ricercatori e figure di riferimento del settore. Questa volta OpenAI ha accompagnato l’annuncio con verifiche effettuate da matematici riconosciuti, tra cui Noga Alon, Melanie Wood e Thomas Bloom, responsabile del database dei problemi di Erdős.
La presenza di Bloom nella revisione è particolarmente significativa, perché in passato era stato uno dei critici più severi delle affermazioni pubbliche di OpenAI sulla capacità dei modelli linguistici di produrre risultati matematici originali. Il fatto che abbia partecipato alla verifica tecnica della nuova dimostrazione viene interpretato come un tentativo di rafforzare la credibilità scientifica dell’annuncio e di differenziare questo caso dai precedenti episodi controversi.
Se il controesempio verrà consolidato e accettato stabilmente dalla comunità matematica, il risultato potrebbe avere implicazioni molto più ampie della sola geometria combinatoria. OpenAI ritiene infatti che la stessa architettura di reasoning possa essere applicata in futuro alla scoperta scientifica in campi come fisica teorica, biologia computazionale, ingegneria e medicina, dove l’identificazione di nuove strutture o relazioni matematiche richiede spesso lunghi processi di inferenza multidisciplinare.
Il punto chiave è che il modello non verrebbe più visto soltanto come strumento di supporto alla produttività o alla generazione di testo, ma come sistema capace di partecipare direttamente all’esplorazione teorica di problemi scientifici aperti. In questo scenario, l’intelligenza artificiale diventerebbe un motore di ricerca matematica in grado di proporre ipotesi, strutture e configurazioni che gli esseri umani non avevano ancora considerato, ampliando concretamente lo spazio delle possibilità esplorabili dalla ricerca scientifica contemporanea.