Prima di procedere
Nel vasto e complesso panorama della matematica teorica, pochi enigmi hanno saputo resistere al tempo con la stessa pervicacia delle equazioni di Navier-Stokes. Formulate nel XIX secolo per descrivere il movimento dei fluidi e dei gas, queste equazioni rappresentano il pilastro della fluidodinamica, ma la loro comprensione profonda è rimasta incompleta per decenni. Oggi, il colosso di San Francisco, OpenAI, ha annunciato un risultato storico che promette di scuotere le fondamenta della comunità scientifica internazionale: un sistema avanzato di intelligenza artificiale ha risolto uno dei sette Problemi del Millennio, dimostrando che, in determinate condizioni, la regolarità delle soluzioni può interrompersi in un tempo finito.
La sfida, lanciata ufficialmente dal Clay Mathematics Institute nel 2000 con un premio di un milione di dollari per ogni soluzione, riguarda l'esistenza e la regolarità delle soluzioni per le equazioni tridimensionali. Il nocciolo della questione risiede nel capire se un fluido che inizia il suo moto in modo fluido e prevedibile rimanga tale per sempre o se, a un certo punto, la sua velocità possa aumentare senza limiti, creando una singolarità. Mentre nel 1934 il matematico Jean Leray era riuscito a dimostrare l'esistenza di soluzioni deboli, la questione della regolarità globale era rimasta un mistero irrisolto per circa novant'anni, frustrando le menti più brillanti del pianeta.
L'approccio di OpenAI non è stato convenzionale. Per giungere alla dimostrazione, l'azienda ha schierato un'architettura massiva composta da circa 10.000 agenti IA coordinati, basati su una versione ancora non rilasciata della serie Astra, con capacità computazionali e logiche che superano di gran lunga quelle di GPT-6 Astra. Questo sciame digitale ha lavorato ininterrottamente per 88 ore, scambiandosi oltre 2,7 milioni di messaggi per esplorare configurazioni matematiche mai tentate prima. Il risultato è la costruzione di un esempio in cui un fluido, inizialmente a riposo e sottoposto a una forza esterna che varia in modo fluido, genera un vortice che si contrae sempre più. In un tempo finito, la velocità in quel punto cresce verso l'infinito, pur mantenendo un'energia totale finita. Questa scoperta conferma l'esistenza di singolarità, ovvero il crollo della regolarità del moto.
La complessità tecnica del lavoro risiede nel fatto che la perdita di regolarità non è causata da una forza esterna infinita, ma dalla dinamica intrinseca del fluido stesso. Nel modello trovato dall'IA, l'accelerazione, i gradienti di pressione e la viscosità raggiungono valori estremi, ma si compensano con tale precisione da permettere alla forza esterna di rimanere perfettamente regolare anche mentre la velocità del fluido diverge. Mark Chen, responsabile della ricerca presso OpenAI, ha sottolineato come l'operazione sia stata estremamente onerosa, richiedendo l'elaborazione di circa 130 miliardi di token in uscita e un investimento economico di milioni di dollari in risorse computazionali. Una volta trovata la traccia della soluzione, il modello GPT-6 Astra ha impiegato altre 17 ore per formalizzare e verificare l'intera dimostrazione all'interno di Lean, un sistema di verifica formale dei teoremi che non lascia spazio a errori logici umani.
Tuttavia, il traguardo non è privo di ombre e polemiche. La comunità accademica si è divisa sull'uso del cosiddetto membro di forza esterna (forcing) nella formulazione del problema. Sebbene il Clay Mathematics Institute lo includa nella sua definizione ufficiale, molti puristi considerano la versione senza forze esterne come la vera sfida intellettuale. Alcuni esperti suggeriscono che l'IA abbia sfruttato una sorta di scorciatoia matematica, utilizzando il termine di forcing per innescare la singolarità in modo più agevole rispetto a una soluzione puramente auto-alimentata. Nonostante ciò, la validità tecnica della prova sembra solida e spetterà ora a una revisione paritaria indipendente confermare se la costruzione di OpenAI soddisfi appieno i criteri per l'assegnazione del premio.
Oltre alla tecnica, è scoppiato un vero e proprio caso diplomatico e di spionaggio industriale. Il matematico Tristan Buckmaster della New York University e Levent Alpöge di Anthropic avevano precedentemente ottenuto risultati significativi sulle equazioni di Euler, una versione semplificata di quelle di Navier-Stokes che trascura la viscosità. I due ricercatori avevano utilizzato lo strumento Codex di OpenAI per le loro ricerche non ancora pubblicate. Buckmaster ha sollevato il sospetto che i dati delle loro sessioni di lavoro private possano aver influenzato l'addestramento o il ragionamento degli agenti di OpenAI. L'azienda ha negato fermamente ogni accusa, dichiarando di aver avviato la ricerca in modo indipendente dopo aver appreso rumors su possibili soluzioni imminenti, ma ha ammesso di non poter escludere totalmente l'influenza di dati anonimizzati raccolti dai propri prodotti. La disputa si è inasprita ulteriormente quando sono emerse voci di presunte offerte da parte di OpenAI per escludere Alpöge dalla paternità di una possibile pubblicazione congiunta, accuse prontamente smentite dal laboratorio di Sam Altman.
In un gesto di apparente magnanimità, OpenAI ha già dichiarato che non intende reclamare il premio da un milione di dollari, preferendo che il riconoscimento rimanga un simbolo del progresso della conoscenza umana e artificiale. Questo evento segna un punto di non ritorno: l'intelligenza artificiale non è più solo uno strumento di supporto per i ricercatori, ma un'entità capace di risolvere problemi che hanno resistito ai più grandi geni del passato. Resta da vedere come la matematica, la più pura delle scienze umane, si adatterà a un mondo in cui le risposte ai suoi quesiti più profondi arrivano da un'architettura di silicio che non dorme mai, ma che solleva interrogativi etici sulla proprietà intellettuale e sulla trasparenza dei processi creativi artificiali.
