OpenAI annuncia la risoluzione di Navier–Stokes e crea un comitato di matematici
In un solo post: un modello interno che dichiara di aver chiuso oltre 100 problemi aperti, e un gruppo di esperti indipendente per gestire l'onda d'urto.
In breve
OpenAI afferma che un modello interno, addestrato a partire dal 28 agosto, ha risolto il problema del Millennio sulle equazioni di Navier–Stokes oltre a più di 100 problemi aperti di lunga data in matematica. Nello stesso post, l'azienda annuncia la creazione di un gruppo consultivo indipendente composto da nove matematici di primo piano, incaricato di valutare e orchestrare la comunicazione di questi risultati. Il comitato non avrà però voce in capitolo sul ritmo dei progressi interni di OpenAI.
🍺 Versione da bancone
OpenAI spiega en passant che uno dei suoi modelli fatti in casa ha risolto uno dei sette problemi del millennio e un centinaio di altre questioni rimaste aperte per decenni, per poi passare subito alla creazione di un comitato. È un po' come annunciare di aver trovato un vaccino universale nello stesso comunicato in cui si presenta il nuovo ufficio stampa. Il comitato riunisce nomi molto seri — una medaglia Fields, un Witten — ma il suo mandato esclude esplicitamente di dire a OpenAI di rallentare. Se i risultati reggono, è uno dei momenti più importanti nella storia della matematica; e per ora, non c'è nulla da leggere.
Da ricordare
- 1
OpenAI dice di aver avviato l'addestramento di un nuovo modello interno il 28 agosto, e afferma che da allora ha risolto il problema del Millennio Navier–Stokes.
- 2
Lo stesso modello avrebbe risolto "più di 100" problemi aperti di lunga data nella maggior parte delle aree della matematica, a un ritmo che ha sorpreso i matematici dell'azienda.
- 3
Nessuna prova, pubblicazione o dettaglio tecnico accompagna l'annuncio: il post riguarda la governance, non i risultati.
- 4
Un gruppo consultivo indipendente riunisce François Charles, Camillo De Lellis, Timothy Gowers, Martin Hairer, Nikhil Srivastava, Ulrike Tillmann, Ravi Vakil, Edward Witten e Melanie Matchett Wood.
- 5
I suoi membri non sono retribuiti da OpenAI, possono rendere pubbliche le proprie valutazioni, emetterle senza che gli venga richiesto e modificare da soli la composizione del gruppo.
- 6
Il mandato esclude una cosa precisa: consigliare OpenAI sul ritmo dei suoi progressi interni in matematica.
- 7
L'annuncio risponde in parte alla lettera aperta "A Severe Misalignment of AI in Mathematics", che critica l'uso dei problemi aperti come benchmark.
Ciò che OpenAI afferma
Il post inizia con una frase che, se confermata, vale da sola un decennio di copertura mediatica: un nuovo modello interno, il cui addestramento è iniziato il 28 agosto, avrebbe risolto il problema del Millennio riguardante le equazioni di Navier–Stokes. È uno dei sette problemi dotati di un premio di un milione di dollari dal Clay Mathematics Institute.
OpenAI aggiunge che questo stesso modello ha da allora risolto "più di 100" problemi aperti di lunga data, distribuiti sulla maggior parte delle branche della matematica. L'azienda precisa che il ritmo di questo progresso ha sorpreso i propri matematici.
Nulla, nel post, viene a sostenere queste affermazioni: nessuna prova, nessuna prepubblicazione, nessuna lista dei problemi in questione, nessun nome di revisore. È esattamente il vuoto che il comitato annunciato nel seguito del testo dovrebbe colmare.
Il comitato, il suo mandato e i suoi limiti
Nove matematici compongono questo gruppo consultivo indipendente: François Charles (ENS-PSL), Camillo De Lellis (IAS, GSSI), Timothy Gowers (Collège de France, Cambridge), Martin Hairer (EPFL, Imperial College London), Nikhil Srivastava (Berkeley, Simons Institute), Ulrike Tillmann (Oxford, INI), Ravi Vakil (Stanford), Edward Witten (IAS) e Melanie Matchett Wood (Harvard). Il cast è pesante: almeno due medaglie Fields, e figure centrali dell'analisi, della geometria algebrica e della fisica teorica.
Il loro ruolo, così come descritto: aiutare OpenAI a valutare l'importanza dei risultati emergenti, consigliare sul coordinamento della loro diffusione, ricordare gli standard accademici e professionali della ricerca matematica. Il gruppo deve anche orientare il modo in cui gli strumenti di OpenAI possono servire la ricerca e l'insegnamento.
Le garanzie di indipendenza sono esplicite e insolitamente precise: nessuna retribuzione da OpenAI, libertà di rendere pubbliche le valutazioni, libertà di emettere consigli non richiesti, libertà di commentare l'impatto di OpenAI sulla matematica, e controllo sulla propria composizione.
Un'esclusione è posta nero su bianco: il gruppo non consiglierà OpenAI sul ritmo dei suoi progressi interni. In altre parole, può parlare del modo di comunicare, non della decisione di accelerare o meno.
La lettera aperta sullo sfondo
OpenAI cita essa stessa la lettera aperta "A Severe Misalignment of AI in Mathematics", in cui dei matematici denunciano le esternalità negative di una pratica ormai comune: usare i problemi aperti come benchmark di validazione per nuovi sistemi di IA.
Il rimprovero non è una civetteria corporativa. Un problema aperto non è un test unitario: il suo valore risiede nella costruzione collettiva, nella verifica tra pari, nella lentezza assunta come valore. Trasformarlo in un punteggio da classifica cambia la natura dell'attività, e può inondare la comunità di presunte prove impossibili da rileggere su scala.
OpenAI riconosce che queste critiche "sottolineano la necessità di un impegno riflessivo delle aziende di IA con la comunità matematica". Il comitato è presentato come la risposta — e come "un primo passo".
Cosa dice della strategia di OpenAI
Strutturalmente, il post è strano: un annuncio scientifico potenzialmente storico funge da introduzione a un annuncio di governance. Ci si può leggere prudenza — non pubblicare risultati senza validazione della comunità — come un modo per far circolare la claim rimandandone la verifica a più tardi.
La costituzione di un comitato esterno, non pagato e libero di pubblicare, è una concessione reale. Trasferisce a matematici riconosciuti una parte della credibilità che l'azienda non può attribuirsi da sola su questo terreno. È anche una scommessa: se il comitato contesta pubblicamente i risultati, OpenAI lo ha armato essa stessa per farlo.
Resta la linea rossa sul ritmo. Un gruppo che può commentare tutto tranne la velocità a cui si procede è un dispositivo di comunicazione tanto quanto un contropotere. È l'asse su cui bisognerà giudicare, nei prossimi mesi, quanto vale questo "primo passo".
“In addition to resolving the Navier–Stokes Millennium Prize problem, this model has now resolved more than 100 long-standing open problems across most areas of mathematics.”
“Its value depends on its members being able to exercise their own judgement and challenge ours.”
“Importantly, the group will not be responsible for advising us on how to pace our internal progress on mathematics.”
Perché conta
Se le affermazioni reggono, si parla del primo problema del Millennio risolto da una macchina e di un centinaio di risultati aperti caduti in pochi mesi — un ribaltamento per una disciplina la cui unità di tempo è il decennio. Ma nulla è verificabile a questo stadio, ed è tutta la questione: OpenAI annuncia un risultato straordinario senza prove, creando al contempo l'istanza incaricata di arbitrarne la credibilità. Il dispositivo è intelligente e le sue garanzie di indipendenza sono reali (nessuna retribuzione, diritto di pubblicare, diritto di criticare). Resta che il perimetro esclude l'unica domanda scomoda, quella del ritmo, e che alla comunità matematica viene offerto un posto al tavolo della comunicazione piuttosto che a quello delle decisioni. Da seguire molto da vicino: la prima presa di parola pubblica di questo comitato varrà molto più del post che lo annuncia.
Da leggere anche
Jev: il modello progettato per essere chiamato dal codice, non dagli umani
Diogo Almeida, ex OpenAI, spiega perché ha creato una nuova classe di modelli "system one" — e perché rifiuta i benchmark pubblici, i rifiuti e il pre-training.
Fonte · Latent Space · Why We Made Jev — Diogo Almeida, TypeSafe Co-founder & CEO
99% o 0%: quattro esperti scommettono sulla fine del mondo
Steven Bartlett fa scrivere a quattro esperti la loro probabilità di estinzione su una busta. Le risposte vanno dal 99% allo zero, e il dibattito che segue è il più utile che abbiamo sentito sull'argomento.
Fonte · The Diary Of A CEO · AI Emergency: The AI Labs Are Lying To Everyone, He Says 99% Chance Of Extinction | Roman Yampolskiy
#agiOggiOpenAI vuole standard globali prima dell'auto-miglioramento delle IA
Il laboratorio chiede un quadro tecnico internazionale per regolare il momento in cui l'IA farà essa stessa ricerca sull'IA — e chiede agli Stati Uniti di tenere la penna.
Fonte · OpenAI · Building standards for the next phase of AI