AI risolve problema di Erdos
OpenAI ha rivelato lunedì che il suo modello di ragionamento generico ha risolto il problema della distanza unitaria planare, una questione aperta in geometria discreta posta per la prima volta dal matematico Paul Erdos nel 1946. Il risultato segna la prima volta che un sistema AI ha autonomamente risolto un problema aperto di rilievo centrale in un campo della matematica.
Cosa ha scoperto l'AI
Per quasi 80 anni, i matematici hanno creduto che le soluzioni ottimali al problema di Erdos assomigliassero approssimativamente a griglie quadrate. Il modello di OpenAI ha confutato questa ipotesi, generando una famiglia completamente nuova di costruzioni che offre prestazioni migliori. La dimostrazione proveniva da un modello di ragionamento generico, non da un sistema costruito specificamente per la matematica, ed è stata formalizzata nel linguaggio di verifica Lean.
Verifica da esperti
Il medaglista Fields Terence Tao ha revisionato e accettato la dimostrazione, conferendole credibilità all'interno della comunità matematica. Il risultato è stato descritto come l'inizio di una nuova era in cui i sistemi AI possono tenere insieme lunghe catene di ragionamento e collegare idee attraverso campi remoti.
Implicazioni oltre la matematica
OpenAI ha dichiarato che le stesse capacità che hanno permesso questa svolta matematica accelereranno presto il lavoro in biologia, fisica, ingegneria e medicina. L'azienda ha sottolineato che il giudizio umano rimane essenziale: l'AI può cercare, suggerire e verificare, ma le persone scelgono i problemi che contano e interpretano i risultati.