L’8 settembre OpenAI ha pubblicato un lavoro matematico e una formalizzazione in Lean. Secondo l’azienda, un sistema di IA interno ha trovato un esempio di formazione di una singolarità nelle equazioni del moto di fluidi viscosi.

Il repository specifica dati iniziali regolari e una forza esterna regolare. Non sostiene che ogni flusso diventi singolare. Al momento della verifica, il Clay Mathematics Institute indicava ancora il problema come irrisolto; la redazione non ha ricompilato autonomamente la dimostrazione.

Vediamo possibili applicazioni soprattutto nella ricerca matematica: un argomento accompagnato da codice verificabile può aiutare gli specialisti a individuare errori e nuovi collegamenti. Da solo non produce previsioni meteorologiche migliori né un progetto ingegneristico pronto.

Occorre verificare la dimostrazione e la corrispondenza tra le sue ipotesi formali e il problema originale. Il codice disponibile è un elemento utile, ma non sostituisce questo controllo specialistico.

Orizzonte redazionale ottimistico: le prime analisi dettagliate potrebbero arrivare in settimane o mesi. Non è ancora possibile stimare con affidabilità i tempi del consenso scientifico o delle applicazioni pratiche.