OpenAI claimt wiskundig Millenniumprijsprobleem binnen 88 uur te hebben opgelost

In dit artikel:

OpenAI meldt dat een intern AI-model mogelijk een oplossing heeft gevonden voor het Navier-Stokes-probleem, een van de zeven Millenniumprijsproblemen. Deze vraagstukken werden in 2000 geselecteerd door het Clay Mathematics Institute en andere wiskundigen. Voor een bewezen oplossing ligt een beloning van 1 miljoen dollar klaar; tot nu toe is één probleem opgelost. Onafhankelijke experts en het instituut moeten de claim nog beoordelen.

Volgens OpenAI werkten 10.000 AI-agents ongeveer 88 uur aan het vraagstuk. Ze wisselden bijna 5 miljoen berichten uit en produceerden 300 miljard outputtokens. Een daaropvolgende controle nam nog 17 uur in beslag. Het bedrijf zegt dat de berekening tegen de huidige tarieven voor het gebruikte model ongeveer 22,5 miljoen dollar zou kosten voor een consument.

De vergelijkingen van Navier en Stokes beschrijven stromingen van vloeistoffen en gassen en worden onder meer toegepast in de luchtvaart en meteorologie. OpenAI beweert theoretisch te hebben aangetoond dat in een ogenschijnlijk ideale, niet-viskeuze vloeistof binnen beperkte tijd een singulariteit kan ontstaan: een toestand waarin de kracht oneindig groot wordt en de vergelijkingen niet langer volstaan.

De bekendmaking valt samen met werk van NYU-wiskundige Tristan Buckmaster en Anthropic-onderzoeker Levent Alpöge, die sinds januari eveneens met hulp van AI aan een oplossing werken. Buckmaster zei dat mogelijk een deel van hun onderzoek bij OpenAI terechtkwam, zonder het bedrijf daarvan te beschuldigen. Openbare e-mails tonen dat OpenAI hun voortgang kende, maar niet of inhoudelijke resultaten zijn gebruikt. OpenAI ontkent toegang, al sluit het niet uit dat anonieme gebruikersdata het model indirect heeft beïnvloed. Het bedrijf bood Buckmaster aan als eerste te publiceren, maar hij weigerde; OpenAI claimt de prijs zelf evenmin.