Una delle sfide matematiche più difficili potrebbe essere arrivata a un passaggio decisivo grazie all’intelligenza artificiale. Due studiosi hanno elaborato una possibile dimostrazione relativa alle equazioni Navier-Stokes, utilizzando diversi modelli linguistici durante il lavoro. Il risultato, tuttavia, deve ancora superare un rigoroso processo di verifica.
Accanto all’interesse scientifico è nato anche un acceso confronto sul contributo effettivo dell’AI. OpenAI avrebbe attribuito ai propri sistemi un ruolo vicino all’autonomia, mentre uno dei matematici coinvolti rivendica l’importanza della guida umana. La vicenda apre così una questione più ampia: a chi appartiene una scoperta costruita attraverso la collaborazione tra ricercatori e algoritmi?
Perché Navier-Stokes rappresenta una sfida così complessa
Le equazioni Navier-Stokes servono a descrivere il movimento dei fluidi. Possono riguardare l’acqua, l’aria oppure sostanze molto più dense, come il miele. Nel calcolo entrano elementi quali velocità, resistenza, direzione delle forze e viscosità.
Il comportamento di un fluido diventa particolarmente difficile da prevedere quando viene osservato nelle tre dimensioni dello spazio reale. I matematici cercano da tempo di capire se le soluzioni rimangano sempre regolari oppure possano sviluppare una singolarità, cioè un punto nel quale una determinata grandezza aumenta senza limite entro un intervallo finito.
Questa eventualità viene definita “blow-up” e rappresenta uno dei passaggi centrali dell’intera questione. Dimostrarne l’esistenza consentirebbe di chiarire un problema rimasto aperto per più di duecento anni.
La difficoltà è tale che il Clay Mathematics Institute ha inserito Navier-Stokes tra i quesiti del Millennium Prize. La soluzione riconosciuta permetterebbe di ottenere una ricompensa del valore di un milione di dollari, oltre a un’enorme rilevanza nella storia della matematica.
Il contributo dei modelli di intelligenza artificiale
I due ricercatori hanno lavorato insieme per circa un anno. La collaborazione avrebbe attraversato una fase lenta, seguita da un’accelerazione concentrata tra il 15 e il 22 agosto. Proprio in quei giorni gli strumenti basati sull’AI avrebbero aiutato gli studiosi a sviluppare rapidamente alcuni passaggi della dimostrazione.
Nel progetto sarebbero stati impiegati Claude di Anthropic e diversi sistemi realizzati da OpenAI, tra cui Codex, GPT-5.6 Sol e Astra. Il lavoro avrebbe portato alla preparazione di un manoscritto lungo circa cento pagine, dedicato alla possibile formazione di una singolarità in un fluido sottoposto a una forza continua e regolare.
In termini più semplici, l’idea è che un movimento generato in modo uniforme possa produrre un gorgo la cui velocità cresce progressivamente, fino a raggiungere un punto oltre il quale la descrizione matematica perde la propria regolarità.
Il risultato conserva comunque un carattere provvisorio. La dimostrazione dovrà essere esaminata attraverso Lean, un sistema utilizzato per controllare formalmente la correttezza dei ragionamenti matematici. Soltanto una verifica completa potrà stabilire il reale valore della ricerca.
Lo scontro sul peso dell’intervento umano
La discussione si è spostata rapidamente dal contenuto matematico alla paternità del risultato. OpenAI avrebbe presentato i propri modelli come protagonisti quasi autonomi del procedimento, descrivendo l’intervento degli studiosi come limitato soprattutto all’impostazione iniziale.
Uno dei matematici ha contestato questa versione, sostenendo che la ricerca sia dipesa da un lungo lavoro umano fatto di domande, correzioni, tentativi e indicazioni fornite ai sistemi. L’intelligenza artificiale avrebbe accelerato alcuni passaggi, senza eliminare il ruolo creativo e metodologico dei ricercatori.
Sono inoltre emersi interrogativi sulla gestione dei materiali caricati durante i mesi di sperimentazione. Uno degli studiosi teme che informazioni private legate al progetto possano essere state esaminate per migliorare il comportamento dei modelli.
Una vicenda destinata a cambiare la ricerca
Anche se la dimostrazione dovesse superare ogni controllo, rimarrebbe aperto il problema della distribuzione dei meriti. I modelli linguistici possono analizzare grandi quantità di informazioni, proporre collegamenti e sviluppare calcoli con una rapidità difficilmente raggiungibile da una persona. Allo stesso tempo, il loro lavoro dipende dalle domande ricevute, dalla selezione dei percorsi utili e dalla valutazione degli errori.
Il caso Navier-Stokes potrebbe quindi diventare un precedente importante. Università, aziende tecnologiche e centri scientifici dovranno stabilire regole più chiare sulla proprietà dei risultati prodotti con il supporto dell’AI. Sarà necessario comprendere anche come tutelare i materiali riservati inseriti nei sistemi durante le attività sperimentali.
La possibile svolta matematica resta il cuore della vicenda, ma attorno alla dimostrazione si sta formando una domanda altrettanto rilevante. L’intelligenza artificiale deve essere considerata uno strumento avanzato oppure una protagonista della scoperta? La risposta potrebbe influenzare il futuro della ricerca e il ruolo professionale degli scienziati.