AnswersPublished27 sources
OpenAI hævder at have bevist Navier–Stokes-sammenbrud med 10.000 AI-agenter
OpenAI siger, at et internt, ikke offentligt AI system med omkring 10.000 samtidige agenter fandt et analytisk bevis på 88 timer; Lean formalisering og verifikation tog yderligere 17 timer. Det påståede modeksempel bruger en glat ydre kraft og sigter mod Clay formuleringens udsagn C og D – ikke nødvendigvis den snæv...
Udgivet afRedigeret med GPT-5.6 TerraBilleder genereret med GPT Image 2
Research answer
Key takeaways
- OpenAI siger, at et internt, ikke offentligt AI system med omkring 10.000 samtidige agenter fandt et analytisk bevis på 88 timer; Lean formalisering og verifikation tog yderligere 17 timer.
- Det påståede modeksempel bruger en glat ydre kraft og sigter mod Clay formuleringens udsagn C og D – ikke nødvendigvis den snævrere, kraftfri version, mange forbinder med problemet.
- Clay Mathematics Institute kan først overveje en pris efter offentliggørelse i et kvalificerende forum, to år og bred faglig accept.
- En særskilt konflikt om prioritet og træningsdata er ikke afklaret: OpenAI afviser adgang til specifikke brugerdata, men kan ikke helt udelukke, at afidentificerede brugsdata har forbedret modellerne.
AI Prompt
openai.comCreate a landscape editorial hero image for this Studio Global article: What did OpenAI claim about its unreleased, 10,000-agent AI model producing a Lean-certified proof that the Navier–Stokes equations can blow. Article summary: OpenAI’s announcement is a major claim, not an accepted mathematical result. It says an unreleased internal model coordinated roughly 10,000 agents to find a proof of finite-time singularity in 3D Navier–Stokes after abo. Topic tags: general, general web, user generated, academic. 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, char
OpenAI har fremsat en usædvanlig matematisk påstand: Et internt AI-system, som ifølge virksomheden koordinerede omkring 10.000 samtidige agenter, har fundet et bevis for, at visse tredimensionelle, inkompressible Navier–Stokes-strømme udvikler en singularitet på endelig tid. Selve agentkørslen tog efter OpenAI's oplysning cirka 88 timer, og en separat formalisering samt kontrol i bevisassistenten Lean tog yderligere 17 timer. 1
7
Det er dog ikke det samme som en etableret løsning. OpenAI har offentliggjort en skriftlig udredning og Lean-materiale, som andre kan undersøge, men ekstern matematisk validering og Clay Mathematics Institutes prisproces tager tid. 1
26
Hvad er det, OpenAI siger, at systemet har bevist?
Navier–Stokes-ligningerne beskriver bevægelsen i tyktflydende væsker og gasser. De knytter blandt andet væskens hastighed, tryk, viskositet og ikke-lineære transport sammen – samt i Clay-formuleringen en mulig ydre kraft. Det berømte spørgsmål i tre dimensioner er, om en glat, fysisk rimelig strømning altid forbliver glat, eller om glatte startdata kan føre til et matematisk sammenbrud på endelig tid. 17
21
33
OpenAI's påståede resultat er en blow-up-konstruktion: En løsning, der starter i hvile, drives af en glat ydre kraft med kompakt støtte, og hvis hastighed bliver ubegrænset på et endeligt tidspunkt, mens den kinetiske energi forbliver begrænset. 1
34
Kort sagt: Eksemplet skal vise, at viskositet ikke altid forhindrer en tredimensionel strømning i at blive matematisk singular. Det præsenteres ikke som en numerisk simulation af voldsom turbulens, men som et analytisk bevis, hvis logiske trin er oversat til Lean, så de kan maskinkontrolleres. 1
34
Hvorfor et gyldigt bevis kan blive historisk
Navier–Stokes-problemet om eksistens og glathed er et af de syv Millennium Prize Problems. Clay Mathematics Institute oprettede en præmiepulje på 7 mio. dollar, fordelt som 1 mio. dollar til hvert problem. 18
20
Den officielle opgave kan løses på to overordnede måder: Man kan bevise, at glatte løsninger eksisterer for alle tider under de krævede betingelser, eller konstruere et tilladt eksempel, der bryder sammen på endelig tid. Clay's beskrivelse stiller betingelser både til startdata og til en eventuel ydre kraft. 17
21
OpenAI siger, at konstruktionen beviser udsagn C og D i denne formulering: alternativerne om endelig-tids-singularitet med glat kraft i henholdsvis det euklidiske og periodiske tilfælde. 1
7 Holder påstanden til faglig gennemgang og opfylder den alle de formelle krav, kan det potentielt blive blot det andet Millennium-problem, der løses, efter Poincaré-formodningen. Da OpenAI offentliggjorde resultatet, blev seks problemer fortsat omtalt som uløste.
11
18
Lean-kontrol er vigtigt – men ikke sidste ord
Lean er en bevisassistent. Den kontrollerer, om en formel påstand følger af de definitioner, aksiomer og tidligere verificerede resultater, som er kodet i systemet. En vellykket Lean-verifikation er derfor væsentlig dokumentation for, at det formaliserede bevis ikke har et logisk hul på det niveau, Lean har kontrolleret. 1
7
Men fagfolk skal stadig vurdere hele kæden:
- om den formaliserede sætning præcist beskriver det påståede Navier–Stokes-scenarie;
- om oversættelsen fra den skrevne argumentation til de formelle definitioner er korrekt;
- om antagelserne opfylder Clay-problemets betingelser; og
- om det bredere matematiske fagmiljø accepterer beviset.
Det er ikke kun formaliteter. En maskinkontrol validerer et bestemt, formelt objekt; den afgør ikke selv, om objektet besvarer enhver tilsigtet fortolkning af et prisproblem.
Hvorfor millionprisen ikke er uddelt
Clay Mathematics Institute modtager ikke direkte indsendelser af foreslåede løsninger. Før instituttet vil behandle en løsning, skal den være udgivet i et kvalificerende forum, der skal være gået mindst to år siden udgivelsen, og arbejdet skal have opnået generel accept i det globale matematiske miljø. 26
Selv hvis OpenAI's bevis ender med at være korrekt, passer en øjeblikkelig prisuddeling derfor ikke med Clay's offentliggjorte regler. Den mest præcise betegnelse nu er en påstået løsning under faglig granskning – ikke et prisvindende resultat. 1
26
Det afgørende skel: med eller uden ydre kraft
Debatten blander ofte to forskellige spørgsmål sammen. Den mest udbredte, populære formulering handler om, hvorvidt en glat, kraftfri 3D-strømning af sig selv kan miste sin regularitet. OpenAI's beskrevne konstruktion anvender derimod en glat ydre kraft. 34
35
Forskellen er videnskabeligt vigtig, men den udelukker ikke i sig selv resultatet fra Clay's ramme: Den officielle formulering omfatter også alternativer med glat, hurtigt aftagende påvirkning udefra. 17
35 Det centrale for en eventuel pris er derfor, om OpenAI's bevis opfylder samtlige betingelser i det relevante Clay-alternativ – ikke om det svarer til en snævrere, uformel udgave af spørgsmålet.
Strid om prioritet og brug af data
Offentliggørelsen faldt sammen med beslægtet arbejde fra NYU-matematikeren Tristan Buckmaster og Levent Alpöge, der arbejder hos Anthropic, men samarbejdede med Buckmaster privat. Deres arbejde handlede om beslægtede, forcerede fluidligninger – ikke om en etableret løsning på standardproblemet for Navier–Stokes. 2
3
7
Buckmaster har anklaget OpenAI for at have foreslået et samarbejde, der ville udelukke Alpöge på grund af hans tilknytning til Anthropic. Han har også rejst spørgsmål om, hvorvidt deres interaktioner med OpenAI-produkter, herunder Codex, kan have bidraget til modeltræning. 2
50
52
OpenAI har sagt, at hverken virksomhedens forskere eller agenter tilgik duoens konkrete arbejde eller brugerdata, da de løste problemet. Samtidig har OpenAI sagt, at virksomheden ikke fuldstændigt kan udelukke, at afidentificerede data fra produktbrug kan have bidraget til at forbedre modellerne. 53
54
Det efterlader væsentlige spørgsmål: Var relevante interaktioner omfattet af træning? Blev de faktisk brugt? Og kunne de have haft reel betydning for resultatet? Den offentligt tilgængelige rapportering beviser ikke, at OpenAI brugte Buckmaster og Alpöges arbejde, og anklagen bør derfor ikke behandles som fastslået. 2
53
54
Det næste, man skal holde øje med
Den afgørende prøve er ikke størrelsen på agentflokken eller tempoet i arbejdet. Den er, om uafhængige specialister kan gennemgå manuskriptet og Lean-formaliseringen, reproducere den formelle kontrol og nå frem til, at sætningen opfylder de relevante Clay-betingelser.
Sker det, kan OpenAI's udmelding blive et gennembrud både for matematik og AI-assisteret forskning. Indtil da bør den forstås som et særdeles betydningsfuldt, offentligt tilgængeligt kandidatbevis – ved siden af en fortsat uafklaret debat om prioritet, datastyring og AI-virksomheders håndtering af forskeres upublicerede idéer. 1
26
53
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 "OpenAI hævder at have bevist Navier–Stokes-sammenbrud med 10.000 AI-agenter"?
OpenAI siger, at et internt, ikke offentligt AI system med omkring 10.000 samtidige agenter fandt et analytisk bevis på 88 timer; Lean formalisering og verifikation tog yderligere 17 timer.
What are the key points to validate first?
OpenAI siger, at et internt, ikke offentligt AI system med omkring 10.000 samtidige agenter fandt et analytisk bevis på 88 timer; Lean formalisering og verifikation tog yderligere 17 timer. Det påståede modeksempel bruger en glat ydre kraft og sigter mod Clay formuleringens udsagn C og D – ikke nødvendigvis den snævrere, kraftfri version, mange forbinder med problemet.
What should I do next in practice?
Clay Mathematics Institute kan først overveje en pris efter offentliggørelse i et kvalificerende forum, to år og bred faglig accept.