OpenAI figura come vincitrice del primo premio da 1 milione di dollari lanciato da Justin Sun per la matematica grazie alla sua dimostrazione dei Navier-Stokes, ma il riconoscimento resta per ora senza un beneficiario: la società non ha reclamato il denaro, così come ha scelto di non concorrere al premio Clay.
Punti chiave
- Il repository del premio Sun indica il problema Navier-Stokes di OpenAI come risolto, idoneo al riscatto del premio, ma ancora non richiesto.
- OpenAI riferisce che 10.000 agenti di IA hanno lavorato per circa 88 ore, prima che GPT-6 Astra impiegasse altre 17 ore a formalizzare e verificare la dimostrazione.
- Il Clay Mathematics Institute considera ancora aperto il problema Navier-Stokes mentre valuta il risultato annunciato.
Il premio di OpenAI
Il nuovo premio di Sun ha indicato il team di ricerca di OpenAI come destinatario del suo primo riconoscimento massimo da 1 milione di dollari per la soluzione del problema Navier-Stokes in tre dimensioni. La documentazione pubblica su GitHub segnala il problema come risolto e il premio come reclamabile. Nessuno, però, ha ancora richiesto il denaro.
OpenAI ha reso noto il risultato l’8 settembre, spiegando che circa 10.000 agenti hanno lavorato per circa 88 ore prima che GPT-6 Astra impiegasse ulteriori 17 ore per formalizzare e verificare la dimostrazione in Lean. La società ha aggiunto di non avere intenzione di avanzare richiesta per il Millennium Prize da 1 milione di dollari associato al problema dal Clay Mathematics Institute.
Il Clay Institute continua a classificare il problema come “attivo” e l’11 settembre ha indicato che l’annuncio sembra risolvere la questione, ma il suo regolamento impone una valutazione approfondita prima di qualsiasi decisione sul premio. Quel processo è ancora in corso. Il premio separato di Sun si basa invece su dimostrazioni verificabili da macchina e ha riconosciuto il team di OpenAI senza attendere la stessa procedura di revisione tradizionale.
Leggi anche: Bitcoin: il mining affronta un gap del 50% di hashrate mentre l’IA assorbe capacità
Le regole di Justin Sun
Sun spiega che il suo premio è stato concepito per ricompensare i risultati a prescindere dal fatto che derivino da una persona o da un sistema di intelligenza artificiale, mettendo la verifica formale al centro del processo di assegnazione. “Mi interessa solo il risultato, non se il contributore è umano o una macchina”, afferma Sun. Il suo repository avverte inoltre che l’annuncio di OpenAI non equivale a peer review e che non esiste ancora un consenso ampio nella comunità matematica.
Restano aperte questioni di attribuzione perché Tristan Buckmaster, professore alla New York University, ha dichiarato che un suo lavoro non pubblicato, realizzato con un collega, era stato caricato in un prodotto OpenAI, pur aggiungendo di non sapere se il modello lo avesse effettivamente utilizzato. “Non sto accusando nessuno di nulla”, ha dichiarato Buckmaster a The Guardian. OpenAI ha dal canto suo affermato che la propria indagine interna ha stabilito che i prompt Codex del professore non potevano aver influenzato il sistema che ha generato la dimostrazione.
La controversia è seguita all’annuncio di OpenAI dell’8 settembre, secondo cui un suo sistema interno avrebbe risolto il celebre problema di esistenza e regolarità delle soluzioni Navier-Stokes, mostrando una singolarità in tempo finito nelle condizioni ufficiali.
Il Clay Institute ha istituito i Millennium Prize Problems nel 2000, associando 1 milione di dollari a ciascun quesito. Oltre vent’anni dopo, Navier-Stokes rimane formalmente un problema aperto mentre i matematici esaminano la nuova dimostrazione e le questioni legate al riconoscimento dei meriti.
Da leggere dopo: Shiba Inu risolve il link difettoso del wallet di Shibarium, ma SHIB perde il 6% in una settimana
