OpenAI ha annunciato che il suo nuovo modello di ragionamento ha prodotto una prova matematica originale che confuta una famosa congettura irrisolta in geometria posta per la prima volta da Paul Erdős nel 1946. Questo risultato fa seguito a un’affermazione controversa fatta dall’ex vicepresidente di OpenAI Kevin Weil sette mesi fa, quando dichiarò su X che GPT-5 ha trovato soluzioni a dieci problemi di Erdős precedentemente irrisolti, insieme a progressi su altri undici. Successivamente è stato chiarito che GPT-5 non aveva effettivamente risolto quei problemi ma aveva individuato soluzioni esistenti in letteratura.
I rivali nel campo dell’intelligenza artificiale, tra cui Yann LeCun e il CEO di Google DeepMind Demis Hassabis, hanno criticato l’affermazione precedente, spingendo Weil a rimuovere il suo incarico. L’annuncio aggiornato di OpenAI includeva osservazioni di importanti matematici come Noga Alon, Melanie Wood e Thomas Bloom, che sostenevano la confutazione e definivano le precedenti dichiarazioni di Weil una “drammatica falsa dichiarazione”.
OpenAI ha affermato che per quasi 80 anni i matematici hanno creduto che le soluzioni ottimali alla congettura somigliassero a griglie quadrate. Secondo quanto riferito, il nuovo modello ha scoperto una famiglia di costruzioni completamente nuova che supera questa convinzione di lunga data. Secondo OpenAI, questo caso segna il primo caso in cui l’intelligenza artificiale risolve autonomamente un significativo problema aperto in matematica.
La prova ha avuto origine da un modello di ragionamento generico, piuttosto che da un sistema su misura per la matematica, evidenziando la capacità dell’intelligenza artificiale di gestire compiti di ragionamento complessi e di interconnettere idee in diversi campi. OpenAI ha sottolineato le potenziali implicazioni di questo sviluppo per la biologia, la fisica, l’ingegneria e la medicina.
Il matematico Thomas Bloom ha osservato che l’intelligenza artificiale sta facilitando un’esplorazione più profonda della matematica, chiedendosi quali altre scoperte significative potrebbero esserci in futuro. “L’intelligenza artificiale ci sta aiutando a esplorare più a fondo la cattedrale della matematica che abbiamo costruito nel corso dei secoli”, ha affermato.
