OpenAI: claimt Millenniumprijsprobleem binnen 88 uur opgelost

Samenvatting

OpenAI claimt dat een intern AI-model het Navier–Stokes-probleem in 88 uur heeft opgelost, maar onafhankelijke verificatie ontbreekt.

OpenAI en het Millenniumprijsprobleem

OpenAI zegt dat 10.000 AI-agents samen een oplossing vonden voor het Navier–Stokes existence and smoothness problem. Dat wiskundige vraagstuk onderzoekt of binnen beperkte tijd een singulariteit in een vloeistof kan ontstaan, waardoor de vergelijkingen de vloeistofdynamica niet langer beschrijven.

Het bedrijf gebruikte hiervoor een intern model dat volgens OpenAI krachtiger is dan GPT-6 Astra. De agents wisselden bijna 5 miljoen berichten uit en produceerden 300 miljard outputtokens. OpenAI meldt dat het rekenwerk ongeveer 88 uur duurde; een extra verificatiefase kostte 17 uur en 130 miljard outputtokens.

Waarom het Millenniumprijsprobleem telt

Het Clay Mathematics Institute selecteerde in 2000 zeven onopgeloste problemen. Voor elk probleem ligt een beloning van een miljoen dollar klaar. Tot nu toe geldt slechts één probleem als opgelost. De organisatoren en onafhankelijke wiskundigen hebben de claim van OpenAI nog niet gecontroleerd.

Daarmee ligt de kern niet alleen bij rekenkracht, maar bij controleerbaarheid. Tegen de huidige GPT-6-tokenprijzen zou het rekenproces ongeveer 22,5 miljoen dollar kosten voor een consument. Zo’n bedrag maakt het nodig om modelkeuzes, tokengebruik, tussenstappen en verificatie afzonderlijk te documenteren.

De timing zorgt bovendien voor discussie. NYU-docent Tristan Buckmaster en Anthropic-medewerker Levent Alpöge werkten sinds januari met AI aan hetzelfde probleem. Buckmaster suggereerde dat werk mogelijk naar OpenAI was uitgelekt. OpenAI ontkent toegang tot inhoudelijke informatie, terwijl openbaar gemaakte e-mails wel aantonen dat het bedrijf hun voortgang kende.

Concrete takeaway voor OpenAI-resultaten

Behandel een door AI gegenereerd bewijs als een onbevestigde hypothese totdat onafhankelijke wiskundigen het controleren. Leg bij vergelijkbare AI-processen niet alleen het eindresultaat vast, maar ook de gebruikte agents, outputtokens, kosten, tussenstappen en herkomst van de input.