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 smentito una congettura di Erdős del 1946, questa volta con il supporto di matematici reali, non solo un tweet cancellato.
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?"
The Good Times
Notizie nella tua casella.
Un riepilogo sardonico, consegnato secondo il tuo programma. Gratis. Annulla quando vuoi.
Già iscritto ma non arriviamo mai nella tua casella? Controlla la cartella spam e premi 'Non è spam' (o 'Rimuovi dallo spam') per tirarci fuori dal purgatorio della posta indesiderata. Aiuterai anche tutti gli altri.
Se non apri nessuna delle nostre email per un mese, verrai rimosso automaticamente dalla lista.
Rewrite Article
Select parts to regenerate with a fresh AI pass. Translations will be updated automatically.
Generate AI Image
Creates a sardonic version of the article image using OpenAI.