OpenAI stelt dat een intern, nog niet uitgebracht model een van de zeven Millennium Prize-problemen uit de wiskunde heeft opgelost in 88 uur. Prominente wiskundigen beschuldigen het bedrijf er nu van ongepubliceerd onderzoek te hebben ingehaald en in feite te hebben overgenomen.
Belangrijkste punten:
- OpenAI zegt dat zo’n 10.000 AI‑agenten een bewijs hebben geconstrueerd dat vloeistofvergelijkingen in eindige tijd kunnen instorten.
- Een NYU‑hoogleraar stelt dat het bedrijf pas echt in actie kwam nadat het had gehoord over zijn ongepubliceerde resultaten.
- Het Clay Mathematics Institute heeft het bewijs niet geaccepteerd en houdt het probleem formeel open.
Details van het Navier–Stokes-bewijs van OpenAI
Het bedrijf publiceerde zijn resultaat op 8 september. OpenAI claimt dat een intern systeem, dat nog niet commercieel is vrijgegeven, heeft aangetoond dat de Navier–Stokes-vergelijkingen – de kernvergelijkingen die beschrijven hoe vloeistoffen zich bewegen – in eindige tijd kunnen bezwijken.
Ongeveer 10.000 autonome agenten werkten parallel aan het probleem en kwamen na 88 uur tot een sluitende redenering. Het resulterende manuscript telt meer dan 160 pagina’s.
De rekenrun startte op 1 september, nadat binnen OpenAI geruchten de ronde deden dat twee Millennium‑problemen door andere onderzoekers zouden zijn opgelost. GPT‑6 Astra besteedde vervolgens nog eens 17 uur aan het formaliseren van het bewijs in Lean, een taal die elke logische stap automatisch controleert. Bestuurders schatten de kosten van de operatie op enkele miljoenen dollars.
Ook interessant: LAPTOP crasht 99%, Hunter Biden ontkent oplichtingsclaims en wijst naar bots
Tristan Buckmaster betwist de eer
Tristan Buckmaster, hoogleraar wiskunde aan New York University, stelt dat OpenAI het Navier–Stokes-probleem pas serieus oppakte nadat het lucht kreeg van zijn ongepubliceerde resultaten. Hij werkte bijna een jaar aan een bewijs, samen met Levent Alpöge, een wiskundige in dienst van rivaal Anthropic.
Beiden maakten intensief gebruik van OpenAI’s Codex‑assistent bij het uitwerken van hun eigen bewijs. Volgens de gebruiksvoorwaarden mag OpenAI die sessies gebruiken voor training, tenzij gebruikers expliciet bezwaar maken.
Buckmaster en Alpöge kozen voor een zeer specifieke aanpak van het probleem, een pad waar vrijwel niemand anders op zat. Precies dat maakt de timing van OpenAI’s doorbraak volgens Buckmaster verdacht. Hij zegt dat OpenAI‑wiskundige Sébastien Bubeck een compromis voorstelde waarbij de bijdrage van Alpöge uit de officiële credits zou verdwijnen, en hem vervolgens vroeg waarom hij zijn eigen carrière op het spel zette.
OpenAI ontkent dat zijn onderzoekers of AI‑agenten het werk van Buckmaster en Alpöge hebben ingezien vóór publicatie. Het bedrijf houdt vol dat er geen specifieke gebruikersdata aan de run is toegevoegd. Wel erkent OpenAI dat geanonimiseerde productdata de onderliggende modellen kan hebben verbeterd, maar stelt dat de twee bewijzen inhoudelijk sterk van elkaar verschillen.
Clay Institute houdt oordeel aan
Terence Tao van UCLA prees zowel het werk van Buckmaster en Alpöge als de OpenAI‑resultaten, maar waarschuwde dat competitieve AI‑runs het risico met zich meebrengen dat wiskunde verwordt tot een soort quotaspel met beperkte inhoudelijke meerwaarde.
Abhishek Saha, hoogleraar wiskunde aan Queen Mary University of London, typeerde de hele affaire als precies het soort controverse dat wiskundigen doorgaans proberen te vermijden.
Martin Bridson, directeur van het Clay Mathematics Institute, noemde de aankondiging spannend, maar gaf aan dat een grondige beoordeling tijd zal vergen. Het instituut houdt het probleem vooralsnog als onopgelost op zijn lijst.
Het Clay‑instituut selecteerde in 2000 zeven zogeheten Millennium‑problemen, elk met een beloning van 1 miljoen dollar. Tot dusver is alleen het Poincaré‑vermoeden opgelost: dat werd in 2003 bewezen door Grigori Perelman, die zowel het prijzengeld als andere onderscheidingen afwees.
Lees verder: Apple prijst zijn eerste vouwbare iPhone Duo op 1.999 dollar, en Samsung moet zich zorgen maken
