Ett Nittio År Gammalt Problem, Löst På Åttioåtta Timmar

Den 8 september 2026 publicerade OpenAI ett påstått bevis för Navier-Stokes existens- och slätthetsproblem, ett av de sju Millennium Prize-problemen som sedan år 2000 har haft en belöning på en miljon dollar. Problemet frågar om en slät tredimensionell vätskerörelse alltid kan beskrivas utan att ekvationerna bryter samman. OpenAIs opublicerade forskningsmodell, körd som en svärm på upp till 10 000 parallella agenter, tog fram en lösning som visar att så inte är fallet: under vissa förhållanden drar en virvel ihop sig och snurrar allt snabbare utan gräns, ett fenomen matematiker kallar blowup på ändlig tid, medan vätskans totala energi förblir begränsad. Företaget ägnade därefter ytterligare 17 timmar åt att formalisera argumentet i Lean, ett språk som används för att maskinellt verifiera matematiska bevis steg för steg.

DetaljSiffra
Använda parallella agenterUpp till 10 000
Tid till första beviset88 timmar
Extra tid för att formalisera i Lean17 timmar
Prispengar som krävts av OpenAI0 av 1 000 000 dollar

OpenAI har uttryckligen sagt att man inte kräver prispengarna från Clay Mathematics Institute, och oberoende matematiker måste fortfarande verifiera beviset självständigt innan fältet accepterar det som löst. En Lean-formalisering är en stark signal om intern konsekvens, inte en ersättning för kollegial granskning.

En Strid Om Äran Överskuggar Genombrottet

Tillkännagivandet överskuggades omedelbart av en offentlig strid. Matematikern Tristan Buckmaster vid NYU, vinnare av Clay Research Award, sa att han och Anthropic-forskaren Levent Alpoge hade arbetat med nära besläktade frågor om vätskedynamik, och att OpenAI verkade ha följt en forskningsriktning man fått kännedom om just genom det arbetet, efter att rykten cirkulerat online om att Anthropics modeller hade löst liknande problem. Buckmaster hävdade att OpenAI-forskaren Sebastien Bubeck drev på för att stryka Alpoge från författarlistan just för att han arbetar för en konkurrent, och att när Buckmaster hotade att göra utbytet offentligt, frågade Bubeck honom varför han ville förstöra sin karriär.

Bubeck bestred den versionen och sa att han aldrig bett om att Alpoge skulle strykas från författarskapet till sitt eget arbete, och att den verkliga oenigheten handlade om huruvida Buckmaster fick leda en omskrivning av ett separat bevis som OpenAIs eget system hade tagit fram, något han ansåg inte borde signeras av en anställd på ett konkurrerande labb. Separat, och med större konsekvenser för utomstående användare, sa OpenAI att man inte hade fått tillgång till Buckmasters eller Alpoges specifika kontodata under arbetet med beviset, men tillade att man inte kan utesluta att anonymiserade signaler från den bredare Codex-användningen, möjligen inklusive deras egen, har bidragit till träningen av den underliggande modellen.

Vad Detta Betyder Om Ditt Företag Använder Ett AI-Kodverktyg

Ingen har anklagat OpenAI för att ha läst en namngiven kunds privata filer. Det mest konkreta och användbara faktumet för ett europeiskt företag är själva medgivandet: även ett företag som hävdar att man inte medvetet riktat in sig på någon säger att man inte helt kan utesluta att aggregerad, anonymiserad användardata flödar tillbaka in i träningen av framtida modeller. Om dina utvecklare använder Codex, Copilot eller ett liknande verktyg på kommersiellt känslig kod, är det den praktiska frågan att ställa till din leverantör nu, inte efter att en strid tvingar fram medgivandet offentligt. Det gäller för ett team i Göteborg lika mycket som i Stockholm.

Fråga din AI-kodleverantör tre saker skriftligt: om din organisations promptar och kod används som standard för att träna modellen, om en enterprise- eller optbortnivå verkligen utesluter den datan, och hur de definierar 'anonymiserat' i sina egna villkor. Ett genombrottsbevis är ett marknadsföringsögonblick för OpenAI. Medgivandet om dataanvändningen som följer med håller längre än rubriken.

Servola Journal

Vi gör detta för alla som försöker hålla jämna steg med vad tekniken gör med våra liv. Människorna som bygger den, och människorna det händer med. Servola Journal finns så att det vi lär oss tillhör dem alla.

Ingen betalar oss för detta. Inga annonser, ingen betalvägg, gratis för alla. Vi tror helt enkelt att förståelse av vad som händer oss alla inte borde bero på vem som har råd att betala för det.

Om det gav dig något idag, säg till oss att fortsätta. Följ oss, lämna en gilla-markering, eller skriv en positiv kommentar. Vi läser varenda en, och de är det som håller oss igång.