OpenAI zegt dat een AI-systeem het Navier-Stokes-probleem heeft opgelost. Dit is één van de zeven Millennium Prize Problems, de moeilijkste open wiskundige vragen.
Het bedrijf zegt dat 10.000 AI-agenten samenwerkten gedurende 88 uur om het bewijs te leveren. NYU-professor Tristan Buckmaster betwist aan wie de eer toekomt.
Wat OpenAI beweert
De Navier-Stokes-vergelijkingen beschrijven hoe vloeistoffen zoals lucht of water zich bewegen.
Het bewijs van OpenAI suggereert dat de vergelijkingen een finite-time blowup kunnen bereiken. Daarbij worden de snelheden van de vloeistof oneindig in plaats van gelijkmatig te blijven.
Het bewijs komt van een niet-uitgebracht model waarvan OpenAI zegt dat het beter presteert dan het gepubliceerde GPT-6 Astra-systeem.
GPT-6 Astra heeft vervolgens 17 uur besteed aan het controleren van de logica van het bewijs.
Het Clay Mathematics Institute biedt $1 miljoen voor het oplossen van één van de zeven problemen. OpenAI heeft gezegd dat het de prijs niet zal opeisen.
De discussie over de eer
NYU-professor Tristan Buckmaster zegt dat hij samen met Anthropic-wiskundige Levent Alpöge dicht bij een vergelijkbaar resultaat waren.
Hun werk stond in OpenAI’s Codex, een AI-model voor coderen. Buckmaster zei dat het daardoor mogelijk toegankelijk was voor het team van OpenAI.
Buckmaster sprak hierover direct in een openbare verklaring:
”Ik weet niet wat hun model heeft gedaan, of hoe. Ik weet niet of onze data is gebruikt. Ik beschuldig niemand van iets”.
— Tristan Buckmaster, NYU-wiskundige
OpenAI-onderzoeker Sebastien Bubeck reageerde tijdens een persbijeenkomst. Hij ontkende dat het bedrijf toegang had tot of gebruik heeft gemaakt van hun niet-gepubliceerde werk.
OpenAI erkende ook iets anders. Ze kunnen niet uitsluiten dat het gebruik van de producten door de onderzoekers invloed had op de training van het model.
De discussie speelt terwijl OpenAI zich voorbereidt op een mogelijke beursgang van $1 biljoen. Anthropic wil zelfs een nog hogere waardering bereiken via haar eigen beursgang.
