# OpenAI släpper 166-sidigt Navier–Stokes-utkast – matematiker tvivlar

> OpenAI delade i september ett utkast till ett formellt verifierat bevis för Navier–Stokes-problemet, men experter säger att det avviker från den angivna metoden och att bidraget är oklart.

Oossa · 2026-10-17 · https://oossa.com/sv/openai-releases-166-page-navier-stokes-draft-mathematicians-raise-doubts

I början av september 2026 publicerade OpenAI ett utkast på 166 sidor som enligt företaget skulle kunna lösa Navier–Stokes-problemet, ett av Clay Mathematics Institutes sju millennieproblem med en miljon dollar i prispengar. Utkastet är skrivet i Lean, ett språk för formell verifiering som automatiskt kontrollerar varje logiskt steg. OpenAI uppgav att beviset följde metoden från de spanska matematikerna Diego Córdoba och Luis Martínez-Zoroa.

## Matematiker ser en diskrepans

Flera matematiker, däribland Gonzalo Cao-Labor vid EPFL, har granskat utkastet och säger att resonemanget inte stämmer överens med Córdoba-Martínez-Zoroas metod. De beskriver likheterna som ytliga. Clay Mathematics Institute har granskat utkastet sedan det publicerades.

## Omfattande beräkningar, oklar betydelse

OpenAI körde omkring 10 000 modellinstanser i ungefär 88 timmar och bearbetade 130 miljarder token för att ta fram utkastet. Forskaren Noam Brown uppskattar att mindre än 10 % av resultatet kan tillskrivas upplägget med flera AI-agenter, vilket tyder på att det mesta av arbetet kom från själva grundmodellen. Den exakta rollen för agentgruppen är fortfarande okänd, eftersom systematiska tester i den skalan inte har genomförts.

## Fler publiceringar väcker kritik

I början av oktober lade OpenAI till omkring 400 AI-genererade resultat i en löst sammanhållen GitHub-samling, något som enligt många matematiker förminskade ämnet. Den snabba strömmen av resultat har gjort att matematikvärlden har svårt att hänga med.

## Fakta

- OpenAI publicerade i början av september 2026 ett utkast på 166 sidor till en möjlig lösning på Navier–Stokes-problemet.
- Utkastet är skrivet i Lean, ett språk för formell verifiering som automatiskt kontrollerar logiska steg.
- OpenAI använde omkring 10 000 modellinstanser under 88 timmar och genererade 130 miljarder token.
- Forskaren Noam Brown säger att mindre än 10 % av utkastets framgång beror på upplägget med flera AI-agenter.
- I början av oktober 2026 publicerade OpenAI omkring 400 ytterligare AI-genererade resultat på GitHub.

## Varför det spelar roll

För vanliga läsare visar händelsen att även mycket stora AI-resurser kan ge upphov till arbete som experter fortfarande ifrågasätter. Den visar också att AI-genererade matematiska bevis ännu inte är någon genväg för mänsklig verifiering, så det prisbelönta problemet är fortfarande olöst.

## Källor och referenser

1. [Mathematicians say OpenAI doesn't understand its own Navier-Stokes proof](https://the-decoder.com/mathematicians-say-openai-doesnt-understand-its-own-navier-stokes-proof/) – The Decoder, 2026-10-17

Senast uppdaterad: 2026-10-17