AnswersPublished20 sources
OpenAIs Navier–Stokes-påstand: Et mulig matematisk gjennombrudd, fortsatt uten endelig godkjenning
8. september 2026 opplyste OpenAI at et internt, ikke offentliggjort system med rundt 10 000 koordinerte agenter hadde produsert et 166 sider langt bevis og en Lean formalisering av en singularitet i endelig tid for t...
Publisert avRedigert med GPT-5.6 TerraBilder generert med GPT Image 2
Research answer
Key takeaways
- 8. september 2026 opplyste OpenAI at et internt, ikke offentliggjort system med rundt 10 000 koordinerte agenter hadde produsert et 166 sider langt bevis og en Lean formalisering av en singularitet i endelig tid for t...
- I det påståtte eksemplet starter væsken glatt og i ro, før en glatt ytre kraft skaper en virvel som trekker seg innover og strekkes ut.
- Lean kontroll er et sterkt verifikasjonsverktøy, men avgjør ikke alene om den formaliserte påstanden og forutsetningene nøyaktig samsvarer med Clay Mathematics Institutes offisielle problem.
AI Prompt
openai.comCreate a landscape editorial hero image for this Studio Global article: What did OpenAI announce on September 8 about an unreleased AI system’s purported 166-page, Lean-formalized proof that the three-dimensional. Article summary: On September 8, OpenAI said an unreleased internal model, deployed through roughly 10,000 coordinated agents, had produced a 166-page analytical proof and a Lean formalization showing a finite-time singularity for a thre. Topic tags: general, general web, user generated. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermarks, charts with fa
OpenAIs kunngjøring 8. september er en av de mest betydningsfulle påstandene i skjæringspunktet mellom KI og matematikk hittil. Selskapet sier at et internt system har funnet både et analytisk bevis og en formalisering i bevisassistenten Lean: En tredimensjonal, inkompressibel Navier–Stokes-strømning skal kunne utvikle en singularitet på endelig tid. OpenAI har publisert et manuskript på 166 sider sammen med formaliseringen. Påstanden kan i prinsippet løse Navier–Stokes-problemet, ett av Clay Mathematics Institutes Millennium-problemer, men den er ikke det samme som en ferdig faglig dom eller en utdelt pris. 10
18
27
Dette hevder OpenAI å ha vist
Konstruksjonen begynner med en glatt væske i ro, påvirket av en glatt ytre kraft. Ifølge OpenAI utvikler strømningen en virvel som spiraliserer innover og samtidig blir stadig mer langstrakt. På et endelig tidspunkt oppstår en singularitet: Væskehastigheten blir ubegrenset, selv om strømningens totale energi fortsatt er endelig. 10
44
Dette skillet er avgjørende. Spørsmålet er ikke bare om en numerisk simulering kan vise en ekstremt rask virvel. Det er om ligningene tillater en glatt løsning med endelig energi som mister glattheten i løpet av endelig tid. OpenAIs påståtte resultat er en bevisst konstruert situasjon som skal vise nettopp denne muligheten, under glatt ytre påvirkning. 10
Hvorfor dette potensielt kan løse Clay-problemet
Clay Mathematics Institute har formulert flere mulige veier til en løsning. Grovt sagt kan man enten vise at løsningene alltid forblir glatte, eller vise et tilfelle der glattheten bryter sammen. OpenAI sier at konstruksjonen oppfyller alternativene C og D i Clays formulering: moteksempel-lignende alternativer der glattheten svikter på endelig tid, også når det finnes en glatt ytre kraft. 10
17
Dersom beviset holder, og den formelle utsagnet samsvarer nøyaktig med den offisielle problemstillingen, vil det avgjøre den matematiske enten-eller-situasjonen ved å vise at universell, global glatthet ikke gjelder i det angitte tilfellet. Clay omtaler kunngjøringen som en tilsynelatende løsning, men understreker at fagmiljøet må vurdere den. 18
Rundt 10 000 agenter og 88 timer
Rapportering om kunngjøringen beskrev en gruppe på rundt 10 000 autonome agenter som kjørte på en avansert OpenAI-modell som ikke er offentlig tilgjengelig. OpenAI beskrev systemet som en koordinering av agenter som produserte både den vanlige matematiske fremstillingen og Lean-formaliseringen. Annen rapportering har omtalt en kjøring på 88 timer. 10
12
2
Det bemerkelsesverdige er at resultatet ikke bare ble presentert som et modellforslag eller et numerisk eksperiment. Påstanden er at systemet produserte både et fullstendig analytisk argument og en maskinelt kontrollerbar utgave av det.
Hva en Lean-formalisering bekrefter – og ikke bekrefter
Lean er en bevisassistent: Programmet kontrollerer om et teorem følger fra definerte begreper, aksiomer og tidligere formaliserte resultater i et presist kodet bevis. Når Lean godkjenner et bevis, reduseres risikoen betydelig for vanlige logiske feil ledd for ledd i den formaliserte argumentrekken. OpenAI har publisert formaliseringen sammen med beviset. 10
Men maskinkontroll fjerner ikke de sentrale spørsmålene som krever menneskelig fagvurdering:
- Er teoremet som er kodet i Lean, nøyaktig det Navier–Stokes-utsagnet man mener å bevise?
- Er forutsetningene og definisjonene de riktige i lys av Clays formulering?
- Fanger formaliseringen alle vesentlige deler av den analytiske konstruksjonen på korrekt vis?
Derfor er uavhengig ekspertgjennomgang fortsatt nødvendig. En formalisert bevisføring er et svært viktig kontrollgrunnlag, men ikke en automatisk erstatning for matematisk tolkning og faglig aksept.
Ingen umiddelbar revolusjon for værvarsling eller flydesign
Selv om konstruksjonen er korrekt, betyr det ikke at vanlig luftstrøm rundt fly, turbulens i rør, værmønstre eller blodstrøm snart vil gi bokstavelig talt uendelige hastigheter. Det annonserte scenariet bruker en spesialutformet glatt kraft og en svært bestemt virvelkonfigurasjon. Det viser en mulighet i ligningene, ikke at slike singulariteter naturlig oppstår i vanlige fysiske strømninger. 10
44
Det finnes også en praktisk begrensning ved modellen: Navier–Stokes-ligningene er en kontinuumsmodell. På små nok skalaer blir molekylfysikk viktig. En matematisk singularitet i kontinuumsligningen bør derfor ikke leses som en prognose om fysisk uendelig fart i en virkelig væske.
Den umiddelbare betydningen er dermed først og fremst matematisk og metodisk. Resultatet handler om hva ligningene tillater, ikke om et ferdig nytt verktøy for ingeniørfag eller værprognoser.
Strid om prioritet og kreditering
Kunngjøringen utløste også en konflikt om timing og faglig kreditering. Tristan Buckmaster ved NYU og Levent Alpöge ved Anthropic hadde kort før OpenAIs publisering kunngjort KI-assistert, Lean-formalisert arbeid om beslektede resultater med «blowup» i tvungne væskeligninger. Arbeidet deres bygget på en tidligere strategi knyttet til Diego Córdoba og Luis Martínez-Zoroa. 1
2
5
Buckmaster og Alpöge reiste spørsmål om OpenAI kan ha hatt nytte av kjennskap til deres da upubliserte arbeid eller kunngjøring, og om den offentlige fremstillingen ga tilstrekkelig plass til den menneskelige idéhistorien bak nærliggende resultater. Kildene dokumenterer at det finnes en prioritetstvist, men ikke at det er påvist kopiering. 1
13
Saken illustrerer en større utfordring for KI-assistert forskning: Hvem skal krediteres når tidligere menneskelige ideer, samarbeidspartnere som formaliserer eller kvalitetssikrer argumenter, systemutviklere og modeller alle er del av prosessen?
Hvorfor forklaring fortsatt betyr noe i matematikk
Et gyldig bevis kan være historisk viktig selv om det er sterkt teknisk konstruert. Samtidig verdsetter matematikere forklaringer som avdekker mønstre andre kan bruke: Hvorfor skjer fenomenet, hvilke ideer kan generaliseres, og hvordan endrer beviset forståelsen av beslektede problemer?
Her ligger en fruktbar spenning i KI-drevet matematikk. Storskala søk med mange agenter kan finne konstruksjoner mennesker ikke hadde sett for seg. Men hvis den avgjørende innsikten er vanskelig å tolke, kan resultatet gi mindre begrepsmessig veiledning enn et kortere og mer forklarende bevis. OpenAIs påstand blir derfor også en test på om KI-systemer kan bidra med varig matematisk forståelse – ikke bare formelt gyldige resultater.
Er Clay-prisen på én million dollar utdelt?
Nei. OpenAI har sagt at selskapet ikke har til hensikt å kreve Millennium-prisen. Clays regler krever at en foreslått løsning publiseres i en godkjent publiseringskanal, at det går minst to år etter publisering, og at løsningen får bred aksept i det globale matematiske fagmiljøet før instituttet vurderer den. 10
27
I sin uttalelse fra september skrev Clay at problemet tilsynelatende var blitt løst, og at instituttet vurderte kunngjøringen sammen med det matematiske miljøet. Det er en anerkjennelse av påstandens betydning, ikke en endelig avgjørelse. 18
Den mest presise beskrivelsen foreløpig er derfor enkel: OpenAI har publisert en oppsiktsvekkende, maskinformalisert påstand om singularitet i endelig tid i tredimensjonale Navier–Stokes-ligninger. Den endelige statusen avhenger av om uavhengige matematikere bekrefter at beviset og Lean-formaliseringen etablerer nøyaktig teoremet som hevdes. 10
18
Studio Global AI
Continue your research
This page includes a source-backed answer you can continue inside Studio Global.
People also ask
What is the short answer to "OpenAIs Navier–Stokes-påstand: Et mulig matematisk gjennombrudd, fortsatt uten endelig godkjenning"?
8. september 2026 opplyste OpenAI at et internt, ikke offentliggjort system med rundt 10 000 koordinerte agenter hadde produsert et 166 sider langt bevis og en Lean formalisering av en singularitet i endelig tid for t...
What are the key points to validate first?
8. september 2026 opplyste OpenAI at et internt, ikke offentliggjort system med rundt 10 000 koordinerte agenter hadde produsert et 166 sider langt bevis og en Lean formalisering av en singularitet i endelig tid for t... I det påståtte eksemplet starter væsken glatt og i ro, før en glatt ytre kraft skaper en virvel som trekker seg innover og strekkes ut.
What should I do next in practice?
Lean kontroll er et sterkt verifikasjonsverktøy, men avgjør ikke alene om den formaliserte påstanden og forutsetningene nøyaktig samsvarer med Clay Mathematics Institutes offisielle problem.