AnswersPublished21 sources
Derfor lot OpenAI Justin Suns Navier–Stokes-pris på 1 million dollar stå urørt
OpenAI sto oppført som berettiget til Justin Suns Navier–Stokes pris på 1 million dollar, men hadde ikke gjort krav på pengene per 17. Et maskinverifisert Lean artefakt er ikke det samme som bred faglig enighet om at teoremet, forutsetningene og beviset oppfyller Millennium problemets nøyaktige vilkår.
Publisert avRedigert med GPT-5.6 TerraBilder generert med GPT Image 2
Research answer
Key takeaways
- OpenAI sto oppført som berettiget til Justin Suns Navier–Stokes pris på 1 million dollar, men hadde ikke gjort krav på pengene per 17.
- Et maskinverifisert Lean artefakt er ikke det samme som bred faglig enighet om at teoremet, forutsetningene og beviset oppfyller Millennium problemets nøyaktige vilkår.
- Saken handler også om prioritet: Matematikeren Tristan Buckmaster har reist spørsmål om opphav og kreditering, noe OpenAI bestrider.
AI Prompt
openai.comCreate a landscape editorial hero image for this Studio Global article: What happened when OpenAI declined to claim Justin Sun’s $1 million prize for its reported AI-generated solution to the three-dimensional Na. Article summary: OpenAI did not claim Justin Sun’s inaugural $1 million prize, even though Sun’s program listed its Navier–Stokes submission as the top award. The company’s reported result is significant but remains a claim under scrutin. Topic tags: general, news, general web, academic, government. 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, ch
OpenAI er rapportert som mottaker av toppremien i Justin Suns nye matematikkpris, men lot premien på 1 million dollar stå uavhentet. Det er mer enn en kuriositet: Saken dreier seg om hvor grensen går mellom et AI-generert bevis, maskinell formell verifikasjon, uavhengig fagfellevurdering og retten til vitenskapelig kreditt. 3
6
8
9
Hva OpenAI faktisk hevder å ha vist
- september 2026 publiserte OpenAI en gjennomgang og en formalisering i Lean av et resultat for de tredimensjonale, inkompressible Navier–Stokes-ligningene. Selskapet sier at et internt system fant et analytisk bevis for at en væske som i utgangspunktet er glatt og i ro, kan utvikle en singularitet på endelig tid når den påvirkes av en glatt ytre kraft.
6
Det avgjørende forbeholdet er omfanget. I Clay-problemets terminologi gjelder påstanden den tvungne moteksempelruten, tilfellene C og D. Den etablerer ikke de utvungne alternativene for global regularitet, tilfellene A og B. Derfor kan formuleringen «Navier–Stokes er løst» bli misvisende dersom den forstås som en full og endelig løsning på alt publikum vanligvis forbinder med problemet. 6
18
19
Om lag 10 000 AI-agenter – og en Lean-sjekk
OpenAI opplyser at selskapet begynte å teste en intern modell som fortsatt var under trening på problemet 28. august, og utvidet arbeidet etter 1. september. Ifølge selskapet arbeidet koordinerte grupper av agenter med tilgang til kode og hurtiglagret nettmateriale; Navier–Stokes-arbeidet omfattet rundt 10 000 samtidige agenter. 6
Rapporteringen beskriver rundt 88 timer for funnet, etterfulgt av omtrent 17 timer der GPT-6 Astra formaliserte og sjekket arbeidet i Lean. OpenAI har understreket at modellen som fant resultatet, var et internt system som var vesentlig mer kapabelt enn GPT-6 Astra. Astra var knyttet til formalisering og verifikasjon, ikke nødvendigvis den opprinnelige matematiske oppdagelsen. 6
8
Lean er et verktøy for formell bevisverifikasjon: Det kan gi svært tung dokumentasjon på at et spesifisert teorem følger av forutsetningene som er kodet inn. Men en Lean-sjekk avgjør ikke alene om disse formelle forutsetningene dekker alle krav i Clay-formuleringen, eller om tolkningen av problemet er faglig avklart. Det krever fortsatt uavhengig matematisk vurdering.
Hvorfor Clay ikke har delt ut sin egen millionpremie
Clay Mathematics Institute har en helt separat premieordning fra Justin Suns. Instituttet sa 11. september at det vurderte OpenAIs kunngjøring etter sine etablerte regler, og at prosessen bevisst går langsomt. 1
Reglene for Millennium-premiene krever at en foreslått løsning publiseres i en godkjent kanal, at det går minst to år etter publisering, og at løsningen oppnår generell aksept i det globale matematiske fagmiljøet før Clay kan vurdere en pris.
Statusen er dermed enkel: OpenAI har lagt fram en offentlig påstand og publisert formaliseringsmateriale, men Clay Mathematics Institute har ikke anerkjent resultatet som en Millennium-løsning eller delt ut sin premie. Uavhengige matematikere må fortsatt vurdere det analytiske beviset, Lean-formaliseringen og om resultatet oppfyller de relevante problemvilkårene. 1
6
Hva Justin Suns pris premierer
Justin Sun lanserte prisen 16. september som et desentralisert akademisk belønningsprogram for gjennombrudd i grunnforskning og maskinell formell verifikasjon. De første utdelingene omfattet 66 matematikkproblemer, og OpenAIs påståtte Navier–Stokes-resultat fikk toppremien på 1 million dollar. 3
14
Ordningen er ment å være raskere og bredere enn Clays: Den legger vekt på maskinverifiserbare bevis og er presentert som åpen for menneskelige forskere, AI-systemer og samarbeid mellom mennesker og AI. 4
14
Det gjør likevel prisen til en privat utmerkelse med egne kriterier – ikke en erstatning for prosessene som normalt fastslår korrekthet, prioritet eller varig betydning i matematikken. At OpenAI er kåret som vinner etter Suns regler, forplikter ikke Clay eller resten av fagmiljøet til å betrakte saken som avsluttet.
Hvorfor premiepengene ble stående
Ifølge rapportering om prisregisteret var OpenAI oppført som kvalifisert til å kreve inn premien, men hadde ikke gjort det. Artiklene knyttet dette til den uavklarte striden om bevisets opphav og til at OpenAI heller ikke ville forfølge Clay-prisen på dette tidspunktet. 8
9
OpenAI har ikke offentlig oppgitt en endelig begrunnelse for å avslå eller utsette utbetalingen i materialet som er gjennomgått her. Den forsiktige tolkningen er derfor begrenset: Å ta imot en privat premie mens bevisets rekkevidde, opphav og kreditering fortsatt bestrides, kan oppfattes som å erklære seier før den vanlige faglige valideringen er fullført.
Striden om kreditering er også en del av saken
Tristan Buckmaster, matematiker ved New York University, har hevdet at OpenAIs arbeid bygget på ikke-offentlig forskning. OpenAI bestrider påstanden. Kildene som foreligger, dokumenterer ingen endelig uavhengig avklaring. 1
20
Nature har argumentert for at episoden viser hvorfor AI-selskaper må samarbeide tettere med forskningsmiljøet om kreditering og opphav. I AI-assistert matematikk kan systemer lete, kombinere og formalisere ideer i en skala som gjør det vanskelig å rekonstruere hvor en bestemt innsikt oppsto. 17
20
Dette er ikke i seg selv bevis for at den formelle verifikasjonen eller matematikken er feil. Det viser derimot at korrekthet og kreditt er to ulike spørsmål – og at begge er viktige når et mulig gjennombrudd kan endre et sentralt matematisk felt.
Foreløpig konklusjon
OpenAIs påstand er oppsiktsvekkende: Selskapet rapporterer en konstruksjon med singularitet på endelig tid for en viktig Navier–Stokes-formulering, funnet gjennom en stor agentarbeidsflyt og ledsaget av Lean-formalisering. 6
18
19
Men resultatet bør foreløpig ikke beskrives som en Clay-anerkjent løsning på et Millennium-problem. Justin Sun-prisen på 1 million dollar skal ha stått uavhentet, Clays vurdering er en separat og langt langsommere prosess, og kredittstriden er ikke avklart. 1
8
9
20
De neste avgjørende stegene er uavhengig gjennomgang av matematikken, kontroll av at den formelle formuleringen faktisk svarer til problemets tiltenkte vilkår, og en troverdig avklaring av prioritet og forfatterskap. Inntil da er den mest presise beskrivelsen en svært betydningsfull AI-generert matematisk påstand med en maskinverifiserbar komponent – ikke et endelig konsensusresultat.
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 "Derfor lot OpenAI Justin Suns Navier–Stokes-pris på 1 million dollar stå urørt"?
OpenAI sto oppført som berettiget til Justin Suns Navier–Stokes pris på 1 million dollar, men hadde ikke gjort krav på pengene per 17.
What are the key points to validate first?
OpenAI sto oppført som berettiget til Justin Suns Navier–Stokes pris på 1 million dollar, men hadde ikke gjort krav på pengene per 17. Et maskinverifisert Lean artefakt er ikke det samme som bred faglig enighet om at teoremet, forutsetningene og beviset oppfyller Millennium problemets nøyaktige vilkår.
What should I do next in practice?
Saken handler også om prioritet: Matematikeren Tristan Buckmaster har reist spørsmål om opphav og kreditering, noe OpenAI bestrider.
Sources
coinpost.aiJustin Sun launches $1 million math prize and names first winners
yellow.comOpenAI Leaves $1M Justin Sun Math Prize Unclaimed After Navier-Stokes Win | Yellow
yahoo.comOpenAI Rejects Another Math Prize, This Time Justin Sun's ...
nature.comDaily briefing: OpenAI claims a huge maths breakthrough