OpenAI ha annunciato di aver risolto un problema matematico notoriamente difficile in sole 88 ore usando uno sciame di circa 10.000 agenti AI. Il problema, parte delle equazioni di Navier-Stokes riguardanti il movimento dei fluidi, mancava di una dimostrazione per aspetti chiave negli ultimi 90 anni. Ma con abbastanza bot e una salata bolletta elettrica, a quanto pare tutto è possibile.

Martedì, il creatore di ChatGPT ha rivelato di aver concentrato un gruppo di bot AI sul problema dell'esistenza e della regolarità di Navier-Stokes, un enigma così ostinato che è uno dei problemi del Premio Millennium dell'Istituto di Matematica Clay, che prevedono una ricompensa di 1 milione di dollari per il primo risolutore. L'azienda ha definito la sua soluzione una "pietra miliare" e una prova che gli strumenti AI stanno migliorando rapidamente - anche se, notoriamente, non è stata ancora verificata in modo indipendente o accettata dall'istituto.

Ecco la cronologia: alla fine di agosto, OpenAI ha iniziato ad addestrare un nuovo modello interno che mostrava un talento per la matematica. La scorsa settimana, il 1° settembre, l'azienda ha sentito voci che due problemi del Premio Millennium erano stati risolti, quindi ha messo migliaia di bot AI a lavorare su alcuni rimanenti. Entro il 5 settembre - circa 88 ore dopo - aveva una soluzione al problema di Navier-Stokes, che è al centro della turbolenza, un fenomeno ancora non ben compreso dagli esseri umani. I bot hanno scambiato quasi 3 milioni di messaggi e bruciato 130 miliardi di token di output (le righe di testo e codice che un modello AI produce) solo su Navier-Stokes. Ai prezzi di OpenAI, quello sforzo sarebbe costato circa 10 milioni di dollari (7,3 milioni di sterline).

La soluzione risolverebbe due delle quattro affermazioni nella dimostrazione che il Premio Millennium richiedeva. Ma OpenAI non rivendica il premio. "Il nostro obiettivo nel rilasciare questo risultato è riferire sui progressi sostanziali dei nostri modelli AI", ha detto l'azienda. "Non intendiamo rivendicare il Premio Millennium per questo risultato". Il che è conveniente, dato che il premio vale 1 milione di dollari e hanno già speso 10 milioni di dollari in calcolo.

Naturalmente, è scoppiata la polemica. Tristan Buckmaster, professore di matematica alla New York University, sostiene che lui e Levent Alpöge, matematico presso Anthropic, rivale di OpenAI, stavano anche loro lavorando al problema usando lo strumento Codex di OpenAI. Buckmaster dice che il 3 settembre ha saputo che "informazioni sui nostri progressi erano state trasmesse a OpenAI". Ha reso pubbliche le email scambiate con OpenAI, sostenendo che l'azienda non ha iniziato il suo lavoro su Navier-Stokes fino a dopo aver appreso dei progressi di Buckmaster e Alpöge. "L'alternativa è lasciare che una sequenza di annunci dica qualcosa che so essere falso", ha detto.

OpenAI ha risposto congratulandosi con il "lavoro parallelo" di Buckmaster e Alpöge, definendolo "notevole". L'azienda insiste di non aver visto alcun loro lavoro fino a quando non è stato rilasciato pubblicamente e che non è stato accesso a dati utente. Ma in una clausola degna di un romanzo di spionaggio, OpenAI ha aggiunto: "Anche se improbabile, non possiamo escludere che dati de-identificati derivati dal loro utilizzo dei nostri prodotti abbiano contribuito a migliorare i nostri modelli". In altre parole: i tuoi compiti AI potrebbero non essere solo valutati - potrebbero essere usati per risolvere i problemi matematici più difficili del mondo senza che tu riceva mai il merito.