OpenAI ha annunciato di aver risolto uno dei problemi del Millennio — il problema dell'esistenza e della regolarità delle soluzioni delle equazioni di Navier-Stokes — grazie a un sistema interno di IA e a circa 10 mila agenti autonomi, che hanno lavorato per 88 ore. L'azienda ha speso per questo milioni di dollari in risorse di calcolo e ha verificato il risultato con il linguaggio Lean. È il primo caso in cui l'IA rivendica la soluzione di uno dei sette problemi con un premio da un milione di dollari dell'Istituto Clay.
Tuttavia, subito dopo l'annuncio è scoppiata un'aspra disputa sulla paternità. I matematici Tristan Buckmaster della New York University e Levent Alpöge di Anthropic un mese prima avevano ottenuto progressi significativi su aspetti affini del problema, utilizzando attivamente strumenti di IA, tra cui Codex di OpenAI. Buckmaster in una dichiarazione pubblica ha indicato che OpenAI potrebbe aver avuto accesso alle loro bozze attraverso le chat o l'addestramento dei modelli, sebbene l'azienda lo neghi categoricamente, affermando che i dati degli utenti non sono stati utilizzati.
La situazione si è complicata con la proposta di OpenAI di una pubblicazione congiunta, in cui si proponeva di escludere Alpöge dagli autori a causa del suo lavoro in una compagnia concorrente. Buckmaster ha rifiutato, e i negoziati sono diventati tesi. Non è semplicemente un conflitto personale: mette in luce problemi sistemici, quando laboratori commerciali con risorse enormi entrano nella corsa per risultati fondamentali, appoggiandosi al lavoro di ricercatori indipendenti.
Tecnicamente l'approccio di OpenAI — scalare una moltitudine di agenti per cercare la singolarità nelle equazioni di Navier-Stokes tridimensionali — differisce da una tradizionale dimostrazione umana. In precedenza il progresso si basava sui lavori di Diego Córdoba e Luis Martínez-Zoroa, che Buckmaster e Alpöge hanno sviluppato con l'aiuto dell'IA. OpenAI invece ha gettato sul problema una potenza di calcolo senza precedenti, il che ha permesso di «far esplodere» il problema in giorni, non in anni.
La metodologia solleva interrogativi sulla riproducibilità e sulla generalizzazione. Sebbene il risultato sia formalizzato in Lean, la verifica indipendente da parte della comunità deve ancora avvenire. Non è chiaro quanto l'approccio sia scalabile verso altri Problemi per il millennio o se richieda prompt specifici non accessibili ai ricercatori ordinari. Il confronto con i precedenti successi dell'IA in matematica, come la risoluzione dei problemi di Erdős, mostra che qui la scala è diversa: non una singola euristica, ma un attacco massiccio di agenti.
Nel panorama attuale, questo evento contrasta con i lavori di Anthropic e di altri laboratori, dove l'IA viene utilizzata come strumento per potenziare l'intelligenza umana anziché sostituirla. OpenAI sottolinea che non rivendicherà il premio, ma il fatto stesso dell'annuncio cambia la dinamica: ora le grandi aziende possono «chiudere» problemi aperti più velocemente dei gruppi accademici, il che mette in discussione i meccanismi tradizionali di priorità e citazione.
Le conseguenze per il settore sono significative. I matematici, inclusi i vincitori della Medaglia Fields, hanno già espresso preoccupazione per il disallineamento degli obiettivi: le aziende inseguono vittorie pubbliche, mentre la scienza valorizza un progresso graduale e collaborativo. Ciò potrebbe portare i ricercatori a nascondere i risultati intermedi o a evitare l'uso di strumenti di IA commerciali.
Le questioni aperte includono: se la dimostrazione sarà accettata dal Clay Mathematics Institute, come distribuire esattamente il merito tra esseri umani e agenti IA, e se tale corsa non porterà a una frammentazione della comunità. Sono necessari nuovi protocolli per tracciare il contributo nelle ricerche assistite dall'IA.
In definitiva, questo caso dimostra che l'accelerazione delle scoperte matematiche tramite l'IA richiede una revisione simultanea delle norme sulla paternità e sull'etica, altrimenti la fiducia all'interno della comunità sarà a rischio.
