OpenAI afferma di aver finalmente risolto il problema matematico di 80 anni fa, no, davvero

OpenAI afferma che il suo nuovo modello di ragionamento ha prodotto una dimostrazione matematica originale che smentisce una famosa congettura geometrica irrisolta posta per la prima volta da Paul Erdős nel 1946. Se le tue sopracciglia si sono appena alzate, non sei solo - non è la prima volta che OpenAI fa un'affermazione così audace. Sette mesi fa, l'ex vicepresidente Kevil Weil ha postato su X che "GPT-5 ha trovato soluzioni a 10 (!) problemi irrisolti di Erdős e ha fatto progressi su altri 11." Spoiler: GPT-5 non li ha effettivamente risolti; ha solo riscoperto soluzioni esistenti già in letteratura. Sono seguite prese in giro da rivali come Yann LeCun e il CEO di Google DeepMind Demis Hassabis, e Weil ha prontamente cancellato il suo post prematuro.

Questa volta, OpenAI dice di non aver ripetuto lo stesso errore. Insieme all'annuncio, l'azienda ha pubblicato commenti di accompagnamento dei matematici Noga Alon, Melanie Wood e Thomas Bloom - che gestisce il sito Erdos Problems e in precedenza aveva definito il post di Weil "una drammatica falsa rappresentazione." "Per quasi 80 anni, i matematici credevano che le migliori soluzioni possibili assomigliassero approssimativamente a griglie quadrate," ha postato OpenAI su X. "Un modello OpenAI ha ora smentito questa convinzione, scoprendo una famiglia completamente nuova di costruzioni che funziona meglio."

L'azienda sostiene che questo segna "la prima volta che un'IA ha risolto autonomamente un problema aperto prominente centrale per un campo della matematica." La dimostrazione è venuta da un nuovo modello di ragionamento generico, non da un sistema specificamente progettato per la matematica - cosa che OpenAI dice essere significativa perché significa che l'IA può ora tenere insieme catene di ragionamento lunghe e difficili e collegare idee tra campi diversi. Ciò avrebbe implicazioni per biologia, fisica, ingegneria e medicina. "L'IA ci sta aiutando a esplorare più pienamente la cattedrale della matematica che abbiamo costruito nei secoli," ha detto Bloom. "Quali altre meraviglie invisibili aspettano dietro le quinte?"