Trionfo scientifico o “furto” di dati? Dietro la soluzione del Problema del Millennio
Uno dei problemi più complessi e affascinanti della matematica mondiale potrebbe essere stato appena risolto. Ma invece di un coro unanime di festeggiamenti, il mondo scientifico e tecnologico è sprofondato in una vera e propria bufera diplomatica e intellettuale.
Al centro dello scontro ci sono OpenAI, l’azienda guidata da Sam Altman, e due matematici: Tristan Buckmaster e Levent Alpöge. Sul piatto c’è la soluzione a una delle equazioni di Navier-Stokes, uno dei celebri Millennium Problems con in palio il prestigioso premio da 1 milione di dollari del Clay Mathematics Institute.
Ma cosa è successo davvero? Si tratta del più grande balzo in avanti dell’intelligenza artificiale o dell’ennesimo caso controverso di appropriazione del lavoro umano?
Il mistero dei fluidi: cos’è il problema di Navier-Stokes
Formulate oltre 250 anni fa, le equazioni di Navier-Stokes descrivono come si muovono i fluidi intorno a noi: dall’aria attorno all’ala di un aereo alle correnti oceaniche, dal flusso del sangue nelle arterie fino al meteo globale.
Nonostante vengano usate quotidianamente per simulazioni numeriche, dal punto di vista puramente matematico mancava una risposta a una domanda fondamentale: le equazioni rimangono sempre lisce e regolari nel tempo, oppure possono collassare e generare una singolarità? In gergo, si parla di blow-up: un punto di rottura in cui velocità e accelerazione crescono all’infinito in un tempo finito. Nessuno era mai riuscito a dimostrarlo con rigore assoluto.
L’annuncio di OpenAI: 10.000 agenti e 88 ore di calcolo
OpenAI ha rilasciato un comunicato dirompente: un sistema interno avanzato avrebbe dimostrato l’esistenza del blow-up in un tempo finito, formalizzando e certificando la prova attraverso Lean, il rigoroso software di verifica interattiva dei teoremi matematici.
I numeri dichiarati dall’azienda per raggiungere questo traguardo sono impressionanti:
-
88 ore di calcolo dal lancio degli agenti per arrivare alla soluzione;
-
Circa 10.000 agenti AI in parallelo;
-
Oltre 2,7 milioni di messaggi scambiati internamente per scomporre il problema;
-
Circa 130 miliardi di token di output;
-
Un costo stimato in milioni di dollari di pura potenza computazionale.
Per OpenAI, la dimostrazione è la prova tangibile che i sistemi di ragionamento sintetico possono superare l’intelletto umano nella risoluzione di frontiere teoriche secolari.
L’accusa dello scienziato: «Hanno usato il nostro lavoro»
La versione di OpenAI non racconta però tutta la storia. Dall’altra parte c’è il matematico Tristan Buckmaster, che da mesi lavorava alla medesima soluzione insieme a Levent Alpöge (ricercatore e ingegnere presso Anthropic, la principale rivale di OpenAI).
I due scienziati avevano appena pubblicato i loro risultati preliminari. Secondo Buckmaster, OpenAI non sarebbe partita da un foglio bianco, ma avrebbe appreso della loro imminente scoperta, accelerando improvvisamente i propri modelli interni (anche sfruttando i prompt e il codice inviati dai ricercatori stessi tramite strumenti come OpenAI Codex).
Le accuse sollevate da Buckmaster sono pesanti:
-
Pressioni per escludere il rivale: OpenAI avrebbe fatto pressioni per co-firmare un lavoro che celebrasse l’AI ma escludesse Alpöge (in quanto dipendente di Anthropic).
-
Minacce velate alla carriera in caso di mancata cooperazione.
-
Mancanza di trasparenza sui dati: OpenAI non ha mai chiarito se le interazioni dei ricercatori con le API siano state impiegate per indirizzare l’addestramento della macchina.
La risposta ufficiale di OpenAI? Un’ammissione velata nel proprio blog: «Non possiamo escludere che i dati anonimizzati derivati dal loro utilizzo dei nostri prodotti abbiano contribuito a migliorare i nostri modelli», pur sostenendo che la dimostrazione finale dell’AI differisca da quella umana.
La vera posta in gioco: etica, crediti e la “scatola nera” della ricerca
Al di là del milione di dollari del premio o dell’incredibile impatto pratico nei settori dell’aeronautica, della meteorologia e della bioingegneria, il caso Navier-Stokes scoperchia un problema etico senza precedenti:
-
Di chi è la scoperta? Se un’AI risolve un problema matematico partendo dalle intuizioni e dai tentativi inseriti dai ricercatori umani nei suoi prompt, il merito appartiene agli scienziati, al modello o alla corporation che possiede i server?
-
L’opacità dei dati: Finché le grandi aziende tech manterranno segreti i dataset di fine-tuning e i log di inferenza, il confine tra “assistente intelligente” e “plagio computazionale” rimarrà pericolosamente sfocato.
Siamo di fronte all’alba di una nuova era scientifica guidata da agenti autonomi o al rischio che la ricerca accademica indipendente venga fagocitata dal monopolio del calcolo computazionale?
Cosa ne pensate? Il merito va attribuito alla potenza dell’algoritmo di OpenAI o l’azienda ha oltrepassato un limite etico nei confronti dei ricercatori? Dite la vostra nei commenti!
