Contesa tra Ricercatori e OpenAI sul Problema di Navier–Stokes

Il professor di matematica della New York University, Tristan Buckmaster, ha recentemente annunciato significativi progressi nel risolvere uno dei più complessi problemi aperti della matematica teorica: il problema di esistenza e regolarità delle equazioni di Navier–Stokes. Questo problema, che è uno dei sette inclusi nel Millennium Prize, ha attirato l’attenzione di ricercatori e istituzioni in tutto il mondo, promettendo un premio di un milione di dollari per la prima dimostrazione accettata.

In collaborazione con il matematico Levent Alpöge, Buckmaster ha presentato tre dimostrazioni e un risultato preliminare utilizzando modelli di intelligenza artificiale, tra cui Codex e Claude. Tuttavia, la situazione si è complicata quando OpenAI ha rilasciato una dimostrazione completa del problema, attribuendola a un suo modello di prossima generazione, non ancora disponibile al pubblico. OpenAI ha dichiarato che il suo lavoro è iniziato il 1° settembre, ispirato da voci su potenziali soluzioni ai problemi del Millennium Prize, generando 300 miliardi di output token per un costo computazionale stimato di 22,5 milioni di dollari.

Le equazioni di Navier–Stokes sono fondamentali per la meccanica dei fluidi, ma la loro comprensione teorica rimane limitata. Buckmaster ha espresso preoccupazione riguardo alla tempistica della pubblicazione di OpenAI, sostenendo che l’azienda fosse a conoscenza dei progressi dei ricercatori prima della loro comunicazione ufficiale. Secondo Buckmaster, quando ha contattato OpenAI, la società ha inizialmente affermato di avere già una dimostrazione pronta, seguita da risposte evasive sulle tempistiche e sul grado di contributo umano.

Inoltre, i ricercatori hanno notato che l’approccio scelto da Buckmaster e Alpöge, che include l’uso di una forza regolare, era stato poco esplorato da altri, suscitando sospetti sul fatto che OpenAI avesse adottato una strategia simile nello stesso periodo. Alpöge, che lavora per Anthropic, ha dichiarato che il suo lavoro non era svolto per conto dell’azienda, ma si basava su una combinazione di modelli, con un ampio uso di Codex.

Un ulteriore elemento controverso è emerso durante i contatti tra Buckmaster e OpenAI, dove gli sarebbe stato chiesto di rimuovere il riconoscimento per Alpöge come parte di un compromesso. Buckmaster ha riportato frasi attribuite a Bubeck, come “Why would you ruin your career?” e “If you don’t want me to be nice, then I don’t have to be nice.” Questo ha sollevato interrogativi sulla trasparenza e sull’etica delle interazioni tra i ricercatori e le aziende di intelligenza artificiale.

La questione ha riaperto il dibattito sul ruolo dell’intelligenza artificiale nella ricerca matematica e sulla competizione tra laboratori su problemi scientifici complessi. Buckmaster ha sottolineato l’importanza di una maggiore trasparenza nei dettagli delle ricerche, suggerendo che la comunità scientifica debba riflettere su come le interazioni con modelli di intelligenza artificiale possano influenzare i risultati e le scoperte.

In conclusione, la contesa tra Buckmaster e OpenAI non solo evidenzia le sfide nel risolvere il problema di Navier–Stokes, ma solleva anche interrogativi più ampi sul futuro della ricerca matematica e sull’impatto delle tecnologie emergenti.