OpenAI risulta vincitrice del primo premio di matematica da 1 milione di dollari istituito da Justin Sun per la sua dimostrazione di Navier-Stokes, ma il riconoscimento resta tuttora non richiesto, dopo che la società ha scelto di non concorrere neppure al premio Clay.
Punti chiave
- Il repository del premio di Sun indica il problema Navier-Stokes come risolto da OpenAI, premiabile ma ancora senza richiesta di riscossione.
- OpenAI afferma che 10.000 agenti di IA hanno lavorato per circa 88 ore, prima che GPT-6 Astra impiegasse altre 17 ore per formalizzare e verificare la dimostrazione.
- Il Clay Mathematics Institute considera tuttora attivo il problema Navier-Stokes mentre valuta il risultato annunciato.
Il premio OpenAI
Il nuovo premio di Sun ha indicato il team di ricerca di OpenAI come destinatario del primo riconoscimento da 1 milione di dollari per la soluzione del problema di Navier-Stokes in tre dimensioni. La documentazione pubblica su GitHub classifica il problema come risolto e il premio come riscuotibile. Ad oggi, tuttavia, il denaro non è stato reclamato.
OpenAI ha reso pubblici i risultati l’8 settembre, spiegando che circa 10.000 agenti hanno lavorato per 88 ore, prima che GPT-6 Astra dedicassse altre 17 ore alla formalizzazione e alla verifica della dimostrazione in Lean. La società ha inoltre precisato di non avere intenzione di concorrere al Millennium Prize da 1 milione di dollari associato al problema dal Clay Mathematics Institute.
Il Clay continua a classificare il problema come aperto e l’11 settembre ha affermato che l’annuncio sembra risolvere la questione, ricordando però che il regolamento impone una valutazione accurata prima di qualsiasi decisione sul premio. Questo processo non è ancora concluso. Il premio separato di Sun si basa invece su dimostrazioni verificabili da macchina e ha nominato il team OpenAI senza attendere la tradizionale revisione accademica.
Leggi anche: Bitcoin Mining Faces 50% Hashrate Gap While AI Draws Capacity
Le regole di Justin Sun
Sun ha spiegato che il suo premio è concepito per riconoscere i risultati a prescindere dal fatto che siano prodotti da una persona o da un sistema di IA, ponendo la verifica formale al centro dell’intero processo. «Mi interessa solo il risultato, non se il contributore è un essere umano o una macchina», ha dichiarato Sun. Il suo repository avverte anche che l’annuncio di OpenAI non equivale a peer review e che non esiste ancora un consenso consolidato nella comunità matematica.
Restano aperte questioni di attribuzione, poiché Tristan Buckmaster, professore alla New York University, ha affermato che un suo lavoro inedito, redatto con un collega, era stato caricato su un prodotto di OpenAI, pur aggiungendo di non sapere se il modello l’avesse effettivamente utilizzato. «Non sto accusando nessuno di nulla», ha dichiarato Buckmaster a The Guardian. OpenAI, da parte sua, sostiene che la propria indagine interna abbia escluso che i prompt Codex del professore possano aver influenzato il sistema che ha generato la dimostrazione.
La controversia è esplosa dopo che, l’8 settembre, OpenAI ha rivendicato che il proprio sistema interno avesse risolto il problema di esistenza e regolarità delle soluzioni Navier-Stokes, dimostrando l’esistenza di una singolarità in tempo finito nelle condizioni ufficiali del quesito.
Il Clay ha istituito i Millennium Prize Problems nel 2000, con 1 milione di dollari associato a ciascun problema. Più di vent’anni dopo, Navier-Stokes rimane formalmente aperto mentre la comunità matematica vaglia la nuova dimostrazione e le delicate questioni di paternità scientifica.
Prossimo articolo: Shiba Inu Fixes Shibarium's Broken Wallet Link, But SHIB Slides 6% In A Week
