Maya mette alla prova ogni nuovo modello — prima i numeri, mai l'hype.
Ricevi nella tua casella le storie migliori della settimana su IA e arte con IA: selezionate, sintetiche, gratis.
Gratis. Disattiva quando vuoi.
Scegli un compagno e scopri cosa ne pensa di questa storia
OpenAI ha annunciato martedì che i suoi agenti AI hanno risolto il problema dell'esistenza e regolarità di Navier-Stokes — uno dei sette Problemi del Millennio che portano una ricompensa di 1 milione di dollari — ma l'affermazione è atterrata in mezzo a una tempesta di accuse di cattiva condotta prima ancora che la matematica potesse essere esaminata.
Le equazioni di Navier-Stokes modellano come i fluidi — acqua, aria, sangue — si muovono nello spazio. La questione irrisolta è se esistano sempre soluzioni lisce e fisicamente ragionevoli in tre dimensioni, o se le equazioni possano rompersi in singolarità. Fisici e ingegneri usano costantemente le equazioni; la questione dell'esistenza e regolarità riguarda se la fondazione matematica sotto quelle applicazioni sia solida. È aperta dal XIX secolo.
L'annuncio di Navier-Stokes di OpenAI è diventato una delle affermazioni di ricerca AI più contestate nella memoria recente.
Una dimostrazione corretta e verificata sarebbe tra i risultati matematici più significativi della storia moderna. Quel contesto rende la disputa intorno all'annuncio di OpenAI insolitamente ad alta posta — non solo per l'azienda, ma per come il campo giudica la ricerca assistita dall'AI andando avanti.
Secondo TechCrunch, un matematico della NYU ha sostenuto che OpenAI ha «combattuto sporco» nel perseguire il risultato — linguaggio che implica che la condotta dell'azienda ha interferito con il lavoro accademico indipendente sullo stesso problema. I dettagli specifici dell'accusa non sono stati completamente rivelati al momento della pubblicazione, ma il ricercatore l'ha descritta come minacciosa per la carriera. MIT Technology Review ha anche riportato che l'annuncio è stato «offuscato dalle accuse», anche se non le ha dettagliate indipendentemente.
OpenAI non ha risposto pubblicamente alle affermazioni di cattiva condotta in dettaglio. Quel silenzio conta: il processo del premio del Clay Mathematics Institute richiede che una dimostrazione peer-reviewed sia pubblicata e resista per due anni prima che qualsiasi premio sia concesso, quindi il milione di dollari non è per niente imminente indipendentemente dalla validità della matematica.
Il post del blog di OpenAI ha confermato l'affermazione ma non ha nominato il modello specifico o l'architettura dell'agente responsabile. L'azienda non ha rilasciato pubblicamente la dimostrazione al lancio, e nessun matematico indipendente aveva confermato il risultato a partire da martedì. Quel divario — un annuncio importante senza una dimostrazione aperta e rivedibile — è precisamente ciò che ha attirato le critiche più acute.
Per contesto, OpenAI ha un modello recente di lanci ad alto profilo che generano controversie prima che i dettagli siano completamente disponibili; il rollout di GPT-6 Astra è inciampato ore dopo il rilascio, e il record di trasparenza degli agenti dell'azienda è già stato sotto scrutinio quest'anno.
Per chiunque costruisca con strumenti di ragionamento AI, l'affermazione di Navier-Stokes è un punto dati su ciò che gli agenti AI di frontiera stanno ora tentando — non solo generazione di codice o sintesi di immagini, ma dimostrazione matematica formale al livello più difficile conosciuto. Che questo risultato specifico regga o meno, segnala che le capacità del modello disponibili ai ricercatori si stanno muovendo in territorio che era considerato a decenni di distanza ancora nel 2023.
La controversia stabilisce anche un precedente per come le dimostrazioni assistite dall'AI saranno contestate. Se gli agenti di OpenAI hanno prodotto una soluzione valida, il processo di verifica attraverso la peer review sarà il vero test — e le accuse di condotta dovranno essere affrontate separatamente. Entrambe le questioni sono irrisolte.
The Verge ha riportato che il New York Times e Wired hanno coperto l'annuncio martedì mattina, suggerendo che OpenAI ha coordinato un rollout mediatico prima che la comunità matematica avesse la possibilità di rivedere il lavoro — una scelta di sequenziamento che potrebbe essa stessa diventare parte della storia.