AI & computing › AI-gestuurde wetenschappelijke ontdekkingen
OpenAI claimt wiskundige doorbraak, maar credit-rel overschaduwt succes
OpenAI zegt dat tienduizend AI-agenten in minder dan vier dagen een oplossing vonden voor een decennialang open wiskundig probleem rond de Navier-Stokesvergelijkingen. Het nieuws wordt echter overschaduwd door beschuldigingen dat het bedrijf onderzoekers niet heeft erkend van wie het voortbouwde op eerder, AI-ondersteund werk.
OpenAI claimt dat tienduizend AI-agenten binnen 88 uur een oplossing vonden voor een probleem rond de Navier-Stokesvergelijkingen, een negentig jaar oud wiskundig vraagstuk over de stroming van vloeistoffen en gassen. Het zou de eerste keer zijn dat kunstmatige intelligentie op eigen kracht een grote wiskundige doorbraak bereikt. Maar het nieuws wordt overschaduwd door beschuldigingen dat OpenAI onderzoekers niet heeft erkend op wier eerdere, AI-ondersteunde werk het voortbouwde.
Wat claimt OpenAI precies?
De Navier-Stokesvergelijkingen beschrijven hoe vloeistoffen en gassen stromen, van water door een pijp tot lucht rond een vliegtuigvleugel. Een deelvraag rond deze vergelijkingen staat al decennia open en behoort tot de zeven beroemde millenniumprijsproblemen, waarvoor het Clay Mathematics Institute een miljoen dollar uitlooft aan wie een sluitend bewijs levert. OpenAI zette duizenden AI-agenten tegelijk aan het werk, die elk stukjes van het bewijs doorrekenden en elkaars werk controleerden. Volgens het bedrijf leverde die massale, gecoördineerde inzet van een agentzwerm in minder dan vier dagen een sluitende oplossing op voor een variant van het probleem. Wiskundige Tristan Buckmaster van New York University noemt het moment vergelijkbaar met de partij schaak die supercomputer Deep Blue in 1997 won van wereldkampioen Garry Kasparov: een symbolisch kantelpunt waarop machines mensen voorbijstreven op een terrein dat lang exclusief menselijk leek.
Rel over erkenning
Vlak na de aankondiging barstte kritiek los. Verschillende wiskundigen stellen dat OpenAI's model deels steunde op inzichten uit eerder gepubliceerd onderzoek waarin andere wetenschappers zelf al AI-hulpmiddelen gebruikten, zonder dat OpenAI dat werk voldoende crediteerde. Of die beschuldiging klopt, is nog niet vastgesteld. Wel laat de discussie zien hoe lastig het wordt om te bepalen wie de eer verdient wanneer mens en machine samen aan een wiskundig bewijs bouwen. Het is niet de eerste keer dat OpenAI onder vuur ligt om de manier waarop het met wiskundewedstrijden omgaat: eerder investeerde het bedrijf naar verluidt fors om een wiskundewedstrijd met een hoofdprijs van een miljoen dollar te winnen.
Wat betekent dit voor wiskundigen?
Los van de rel roept de doorbraak een fundamentelere vraag op. Steeds vaker lijkt vooruitgang op de belangrijkste open problemen in de wiskunde te vragen om enorme rekenkracht en grote AI-modellen, middelen die maar bij een handvol techbedrijven voorhanden zijn. Dat verschuift de wiskunde van een vak dat vooral drijft op individueel inzicht naar een veld waarin toegang tot frontier AI steeds bepalender wordt. Voor universiteiten en individuele onderzoekers, die zulke rekenkracht simpelweg niet kunnen betalen, dreigt een groeiende achterstand. De vraag is dan ook niet alleen of OpenAI's claim standhoudt, maar ook welke rol menselijke wiskundigen straks nog spelen in een veld waar de grootste doorbraken steeds vaker uit een datacenter komen in plaats van uit een universiteitskantoor.
Achtergrond & begrippen
Wat betekent dit voor de toekomst? Als AI-modellen inderdaad kunnen bijdragen aan het oplossen van fundamentele wiskundige problemen, verandert dat de rol van menselijke wiskundigen ingrijpend. Onderzoek dreigt te verschuiven naar plekken met de meeste rekenkracht, wat de wetenschappelijke wereld ongelijker kan maken. Tegelijk ontstaat een nieuwe discussie over hoe je erkenning en auteurschap toekent wanneer mens en machine samen een bewijs construeren.
- Navier-Stokesvergelijkingen
- Wiskundige vergelijkingen die beschrijven hoe vloeistoffen en gassen stromen, essentieel voor onder meer weersvoorspelling en vliegtuigontwerp.
- Millenniumprijsprobleem
- Een van de zeven beroemde onopgeloste wiskundige vraagstukken waarvoor een miljoen dollar wordt uitgeloofd aan wie een sluitend bewijs levert.
- AI-agent
- Een AI-programma dat zelfstandig taken uitvoert, zoals rekenstappen doorlopen of resultaten controleren, zonder voortdurende sturing door een mens.
- Agentzwerm
- Een groot aantal AI-agenten dat gelijktijdig en samenwerkend aan hetzelfde probleem werkt.
- Frontier AI
- De meest geavanceerde AI-modellen die de grens van wat kunstmatige intelligentie kan verleggen, doorgaans ontwikkeld door een klein aantal grote techbedrijven.
Bronnen
Dit artikel is met behulp van AI geschreven op basis van bovenstaande bronnen en is geen letterlijke vertaling. Zo werkt onze redactie.