Un modello OpenAI propone una soluzione per il problema del millennio di Navier–Stokes
OpenAI ha dichiarato l’8 settembre 2026 che un sistema interno più capace di GPT-6 Astra ha prodotto una soluzione al problema del Premio del Millennio sull’esistenza e la regolarità di Navier–Stokes: un fluido inizialmente liscio e fermo può sviluppare una singolarità in tempo finito sotto una forza liscia mentre l’energia resta finita, stabilendo gli enunciati C e D di Clay. L’azienda ha pubblicato una trattazione e una formalizzazione in Lean verificata con GPT-6 Astra, dopo circa 88 ore di ricerca multi-agente e 17 ore di formalizzazione, e dice di non voler rivendicare il Premio del Millennio. OpenAI cita il lavoro concomitante di Levent Alpöge e Tristan Buckmaster sull’equazione di Eulero forzata, riconosce la loro priorità su quel risultato e presenta la pubblicazione come prova del ritmo della ricerca sull’IA, non come lancio di un prodotto consumer.
Tradotto con l'aiuto dell'IA.