OpenAI säger att AI löst Navier–Stokes, men Clay kallar det fortfarande olöst

OpenAI säger att ett internt AI-system har tagit fram ett bevis som löser Navier–Stokes-problemet, en av sju matematiska frågor med ett pris på en miljon dollar. Företaget har publicerat ett 166-sidigt manus och en formell version i bevisverktyget Lean.

Det är ännu inte samma sak som att problemet är godkänt som löst. Clay Mathematics Institute, som ansvarar för miljonproblemen, listar Navier–Stokes som olöst. Institutets regler kräver att en lösning publiceras i en godkänd vetenskaplig kanal, står öppen för granskning i minst två år och får allmän acceptans i den internationella matematiken innan priset kan prövas.

OpenAI uppger att arbetet började den 1 september. Gruppen som hittade bevisförslaget bestod av omkring 10 000 samtidiga AI-agenter och arbetade i cirka 88 timmar. Forskarna styrde resurserna och lät Codex slå ihop användbara delresultat. Därefter tog formalisering och kontroll i Lean ytterligare 17 timmar med GPT-6 Astra.

Lean är ett verktyg som kan kontrollera att en formell argumentkedja följer de regler som har skrivits in. OpenAI har lagt ut filerna så att andra kan bygga och granska dem. Det gör kontrollen mer konkret, men matematiker behöver fortfarande bedöma om de formella påståendena motsvarar hela originalproblemet och om manusets resonemang håller.

Bevisförslaget gäller ett scenario där en vätska startar i vila, utsätts för en slät yttre kraft och utvecklar obegränsad hastighet på ändlig tid samtidigt som energin förblir begränsad. OpenAI säger att detta uppfyller alternativen C och D i Clays officiella problemformulering. Det är en exakt matematisk konstruktion, inte ett besked om att väderprognoser eller flygplansdesign plötsligt har fått en färdig ny metod.

Arbetet har också utlöst en konflikt om forskningskredit. Matematikern Tristan Buckmaster beskriver hur han och Levent Alpöge under ett år arbetat vidare på en närliggande forskningslinje med hjälp av flera språkmodeller. Han ifrågasätter om deras arbete kan ha påverkat OpenAI:s modell eller vägval. OpenAI säger att företaget inte såg deras material och att ingen specifik användardata hämtades, men utesluter inte att avidentifierad användningsdata kan ha förbättrat modellerna.

För företag och forskningsmiljöer visar händelsen varför tre nivåer måste hållas isär: ett starkt leverantörspåstående, en teknisk kontroll och oberoende acceptans. En stor agentkörning och en godkänd formell fil kan vara viktiga bevis, men de gör inte automatiskt en omstridd slutsats till etablerad fakta.

Den omedelbara nyheten är därför dubbel. OpenAI har visat en ovanligt stor AI-ledd forskningsinsats med offentliga granskningsbara resultat. Samtidigt återstår den långsamma del som inte kan hoppas över: oberoende matematiker måste kontrollera beviset, dess antaganden och dess koppling till det officiella problemet.

Artikeln i korthet

• OpenAI har publicerat ett bevisförslag som enligt företaget löser Navier–Stokes-problemet.
• Cirka 10 000 AI-agenter arbetade samtidigt i 88 timmar, följt av 17 timmars formell kontroll i Lean.
• Clay Mathematics Institute listar fortfarande problemet som olöst.
• Forskningskrediten och möjlig påverkan från tidigare AI-användning är omstridd.

Därför spelar det roll

AI kan nu driva stora forskningsprojekt och lämna efter sig material som går att kontrollera formellt. Men vetenskaplig kvalitet avgörs inte av antalet agenter eller av företagets rubrik. Oberoende experter behöver fortfarande granska antaganden, argument och vem som bidragit med idéerna.

Det här kan du göra

1. Märk leverantörens slutsats som ett påstående tills oberoende granskning finns.
2. Kontrollera vad ett formellt test faktiskt har verifierat och vilka antaganden som matats in.
3. Spara källor, mellanresultat och versionshistorik när AI används i forskning eller analys.
4. Låt ämnesexperter avgöra om resultatet kan användas för beslut eller publicering.

Kom ikapp om ämnet

Navier–Stokes-ekvationerna beskriver hur vätskor och gaser rör sig. Clay Mathematics Institute gjorde år 2000 frågan om lösningarnas existens och jämnhet till ett av sju Millennium Prize Problems. OpenAI säger att bevisförslaget visar ett sammanbrott under en tillåten yttre kraft. Institutets offentliga sida hade den 10 september fortfarande statusen olöst.

OpenAI publicerade bevisförslaget den 8 september och Rundown tog upp det den 9 september. Källorna kontrollerades den 10 september 2026.

Källor

OpenAI: On the Navier–Stokes Millennium Prize Problem

Clay Mathematics Institute: Navier–Stokes Equation

Clay Mathematics Institute: Rules for the Millennium Prize Problems

OpenAI: Lean certificates for Navier–Stokes and Euler

Tristan Buckmaster: public statement