OpenAI presenterar lösning på Millennieproblemet för Navier–Stokes
OpenAI meddelar att ett internt AI-system har presenterat en lösning på Navier–Stokes-problemet. Beviset har verifierats i verktyget Lean och berör en av matematikens mest långvariga olösta frågor.
Vad har hänt?
OpenAI har den 8 september 2026 meddelat att ett internt AI-system har tagit fram en lösning på ett av Millennieproblemen. Lösningen visar att dynamiken i Navier–Stokes ekvationer för vätskerörelser kan utveckla en singularitet inom ändlig tid. Företaget publicerar både en skriftlig redogörelse för beviset och en formell verifiering i bevisassistenten Lean.
Snabbfakta
| Publiceringsdatum | 8 september 2026 |
|---|---|
| Problemområde | Navier–Stokes-ekvationerna |
| Verifieringsverktyg | Lean |
”This proof, produced by an internal OpenAI system, shows that the dynamics of the Navier-Stokes equations for fluid motion can develop a singularity in finite time.”
”The question of whether smooth three-dimensional fluid motion can break down has remained unresolved for roughly 90 years.”
Varför spelar det roll?
Navier–Stokes-problemet publicerades år 2000 av Clay Mathematics Institute som ett av sju Millennieproblem, men frågan om huruvida tre dimensionella vätskerörelser kan bryta samman har varit olöst i cirka 90 år. Om beviset godkänns innebär det ett genombrott för användningen av avancerade AI-modeller för att lösa komplexa och teoretiska vetenskapliga problem.
Vem påverkas?
Nyheten berör främst forskare inom matematik, fysik och datavetenskap som arbetar med strömningsmekanik och AI-assisterad bevisföring. Utvecklare och akademiska institutioner får nu tillgång till både den teoretiska dokumentationen och Lean-koden för granskning.
Vad mer bör du veta?
Satsningen belyser användningen av formella bevisassistenter som Lean för att verifiera matematik utförd av artificiell intelligens. OpenAI understryker att syftet med utvecklingen är att ge forskare verktyg för att driva vetenskapliga framsteg.
Snabba svar om den här nyheten
Vad har hänt?
När hände det?
Varför spelar det roll?
Hur har beviset tillgängliggjorts?
Länken öppnar i nytt fönster och leder till utgivarens egen sida.
Källan har spårats automatiskt från utgivaren via Aheadlines signalkedja.
Få liknande nyheter direkt i mejlen
Läsarrummet
Skicka in en fråga eller ett tillägg. Redaktionen läser allt innan det publiceras och svarar när det är relevant. Ingen AI-fri text – bara människor.
Logga in för att skicka in en kommentar eller fråga.
Läs artikeln genom din roll
- Avgör om detta påverkar strategin på 6–12 månaders sikt eller är brus.
- Diskutera i ledningsgruppen: äger vi rätt fråga eller behöver ansvaret flyttas?
- Fråga: vilken risk tar vi genom att INTE agera på det här den här kvartalet?
Genererad vinkling — inte redaktionell analys av "OpenAI presenterar lösning på Millennieproblemet för Navier–"