AnswersPublished21 sources
Waarom OpenAI de wiskundeprijs van 1 miljoen dollar van Justin Sun niet opeiste
OpenAI stond op 17 september 2026 als winnaar en gerechtigde vermeld voor Justin Suns prijs van 1 miljoen dollar, maar had het bedrag nog niet opgeëist. Een Lean controle is sterk bewijs voor een geformaliseerde stelling, maar vervangt geen onafhankelijke beoordeling of brede instemming dat die stelling precies aan...
Gepubliceerd doorBewerkt met GPT-5.6 TerraAfbeeldingen gegenereerd met GPT Image 2
Research answer
Key takeaways
- OpenAI stond op 17 september 2026 als winnaar en gerechtigde vermeld voor Justin Suns prijs van 1 miljoen dollar, maar had het bedrag nog niet opgeëist.
- Een Lean controle is sterk bewijs voor een geformaliseerde stelling, maar vervangt geen onafhankelijke beoordeling of brede instemming dat die stelling precies aan de voorwaarden van het Millennium probleem voldoet.
- NYU wiskundige Tristan Buckmaster betwist de herkomst van het werk; OpenAI weerspreekt die beschuldiging.
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 staat volgens berichtgeving als winnaar vermeld van de eerste hoofdprijs van 1 miljoen dollar in de nieuwe wiskundeprijs van Justin Sun. Toch was het geld op 17 september 2026 nog niet opgeëist. Dat is veelzeggend: dit gaat niet alleen over een AI-systeem dat mogelijk een belangrijk wiskundig bewijs vond, maar ook over verificatie, onafhankelijke toetsing en de vraag wie erkenning krijgt. 3
8
9
Wat OpenAI precies claimt
OpenAI publiceerde op 8 september 2026 een uitwerking en een formalisering in Lean, een programmeertaal en proof assistant voor formele bewijscontrole. Volgens het bedrijf toont het bewijs aan dat een aanvankelijk gladde vloeistof die in rust is, onder een gladde externe kracht in eindige tijd een singulariteit kan ontwikkelen in de driedimensionale incompressibele Navier–Stokes-vergelijkingen. 6
Dat betreft in de terminologie van de Clay-opgave de route van het gedwongen tegenvoorbeeld: gevallen C en D. Het bewijst nadrukkelijk niet de ongedwongen alternatieven voor globale regelmatigheid, gevallen A en B. De kop “Navier–Stokes is opgelost” is daarom te grof: de gemelde claim gaat om een constructie met externe kracht, niet automatisch om elke uitleg die lezers aan het beroemde probleem verbinden. 6
18
19
Hoe de AI tot het bewijs kwam
OpenAI zegt dat het op 28 augustus een intern model, dat nog in training was, op het probleem inzette en de inspanning na 1 september uitbreidde. Daarbij werkten gecoördineerde groepen agents met toegang tot code en gecachet webmateriaal; aan de Navier–Stokes-poging zouden ongeveer 10.000 gelijktijdige agents hebben meegewerkt. 6
Volgens de berichtgeving duurde de ontdekkingsrun circa 88 uur. Daarna formaliseerde en controleerde GPT-6 Astra het werk in ongeveer 17 uur met Lean. OpenAI benadrukt dat het model dat het resultaat vond een intern systeem was dat aanzienlijk sterker zou zijn dan GPT-6 Astra. Astra was dus betrokken bij de formalisering en verificatie, niet per se bij de oorspronkelijke wiskundige ontdekking. 6
8
Die scheiding is essentieel. Een Lean-controle levert sterk bewijs dat een formeel vastgelegde stelling uit de ingevoerde aannames volgt. Maar daarmee is nog niet automatisch vastgesteld dat alle aannames exact overeenkomen met wat de Clay-opgave vereist. Ook vervangt zo'n controle geen inhoudelijke beoordeling door onafhankelijke wiskundigen.
Waarom de Clay Mathematics Institute-prijs niet is toegekend
De miljoen dollar van Clay Mathematics Institute (CMI) staat los van Suns prijs. CMI meldde op 11 september dat het OpenAI's aankondiging volgens de eigen regels beoordeelt en dat dit proces bewust niet overhaast gebeurt. 1
Volgens de Millennium Prize-regels moet een voorgestelde oplossing eerst verschijnen in een daarvoor in aanmerking komend publicatiekanaal. Vervolgens moeten minstens twee jaar verstrijken en moet er brede acceptatie zijn binnen de internationale wiskundegemeenschap voordat CMI een prijs in overweging neemt.
De status is dus helder: OpenAI heeft een openbare claim gedaan en formalisatiemateriaal gepubliceerd, maar CMI heeft de oplossing nog niet erkend met zijn Millennium Prize. Wiskundigen moeten de analytische bewijsvoering, de Lean-formalisering en de aansluiting op de relevante probleemvoorwaarden nog onafhankelijk onderzoeken. 1
6
Wat Justin Suns prijs wél beloont
Justin Sun kondigde zijn prijs op 16 september aan als een gedecentraliseerd premiesysteem voor doorbraken in fundamenteel onderzoek en formele machineverificatie. In de eerste ronde werden oplossingen en geformaliseerde bewijzen voor 66 wiskundige problemen onderscheiden; OpenAI's Navier–Stokes-claim kreeg de hoofdprijs van 1 miljoen dollar. 3
14
Het uitgangspunt is sneller en ruimer dan dat van CMI: de prijs is opgezet voor machineverifieerbare bewijzen en staat volgens de opzet open voor menselijke onderzoekers, AI-systemen en samenwerkingen tussen mens en AI. 4
14
Dat maakt het een private prijs met eigen toelatingsregels, geen vervanging voor de manier waarop de wiskundegemeenschap juistheid, prioriteit of blijvende betekenis vaststelt. Een toekenning volgens Suns criteria verplicht CMI of andere onderzoekers niet om de zaak als definitief afgedaan te beschouwen.
Waarom OpenAI het geld nog niet claimde
Volgens berichtgeving stond OpenAI in de prijsdatabase als gerechtigd om de prijs op te eisen, maar was dat nog niet gebeurd. Die keuze werd in verband gebracht met het onopgeloste conflict over de herkomst van het bewijs en met OpenAI's terughoudendheid rond de Clay-prijs in deze fase. 8
9
OpenAI heeft in het hier geraadpleegde materiaal geen definitieve openbare reden gegeven voor het afwijzen of uitstellen van de claim. De voorzichtige conclusie is daarom: het innen van een private prijs terwijl de reikwijdte, herkomst en toeschrijving van het bewijs worden betwist, kan worden opgevat als een claim op finaliteit voordat de gebruikelijke professionele toetsing heeft plaatsgevonden.
De strijd om erkenning is een aparte kwestie
Tristan Buckmaster, wiskundige aan New York University, stelt dat OpenAI's werk gebruikmaakte van niet-openbaar onderzoek. OpenAI bestrijdt die beschuldiging. De beschikbare berichtgeving levert geen definitieve, onafhankelijke uitkomst van dat geschil op. 1
20
Nature stelt dat deze affaire laat zien waarom AI-bedrijven nauwer moeten samenwerken met de onderzoeksgemeenschap rond toeschrijving en erkenning. AI-systemen kunnen ideeën op ongebruikelijke schaal doorzoeken, combineren en formaliseren, terwijl de herkomst van een doorslaggevend inzicht moeilijk te reconstrueren kan zijn. 17
20
Dat bewijst niet dat het formele bewijs onjuist is. Wel onderstreept het dat juistheid en erkenning twee verschillende vragen zijn — en dat beide zwaar wegen bij een mogelijke doorbraak in de wiskunde.
De stand van zaken
OpenAI's claim is buitengewoon: het bedrijf meldt een constructie van een singulariteit in eindige tijd voor een belangrijke Navier–Stokes-formulering, gevonden met een grootschalige agentworkflow en ondersteund door een Lean-formalisering. 6
18
19
Maar het resultaat is nog geen door CMI erkende oplossing van een Millennium Prize Problem. Suns prijs van 1 miljoen dollar bleef volgens berichtgeving onopgeëist, de beoordeling door CMI is een afzonderlijk en veel trager traject, en het conflict over toeschrijving is niet opgelost. 1
8
9
20
De volgende mijlpalen zijn onafhankelijke toetsing van de wiskunde, nauwkeurige controle of de formele stelling overeenkomt met de bedoelde probleemvoorwaarden, en een geloofwaardige uitleg over prioriteit en auteurschap. Tot die tijd is de zorgvuldigste omschrijving: een potentieel zeer belangrijke, door AI gegenereerde wiskundige claim met een machinecontroleerbaar onderdeel — geen eindresultaat waarover al brede consensus bestaat.
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 "Waarom OpenAI de wiskundeprijs van 1 miljoen dollar van Justin Sun niet opeiste"?
OpenAI stond op 17 september 2026 als winnaar en gerechtigde vermeld voor Justin Suns prijs van 1 miljoen dollar, maar had het bedrag nog niet opgeëist.
What are the key points to validate first?
OpenAI stond op 17 september 2026 als winnaar en gerechtigde vermeld voor Justin Suns prijs van 1 miljoen dollar, maar had het bedrag nog niet opgeëist. Een Lean controle is sterk bewijs voor een geformaliseerde stelling, maar vervangt geen onafhankelijke beoordeling of brede instemming dat die stelling precies aan de voorwaarden van het Millennium probleem voldoet.
What should I do next in practice?
NYU wiskundige Tristan Buckmaster betwist de herkomst van het werk; OpenAI weerspreekt die beschuldiging.
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 ...
openai.comOn the Navier–Stokes Millennium Prize Problem
nature.comDaily briefing: OpenAI claims a huge maths breakthrough