OpenAI maakt in één klap 722 wiskundige ontdekkingen bekend

In dit artikel:

OpenAI heeft in één keer 722 artikelen met wiskundige resultaten gepubliceerd. Daarin worden uiteenlopende vermoedens bewezen of weerlegd, waaronder het D(2)-probleem van Wall. Het bedrijf maakte niet bekend welk model de ontdekkingen deed en spreekt alleen van een intern AI-systeem. De publicatie volgt op een snelle ontwikkeling van AI in de wiskunde: waar systemen in 2019 nog moeite hadden met middelbareschoolexamens, loste OpenAI onlangs ook een zeer moeilijk probleem rond de Navier-Stokes-vergelijkingen op.

De omvang en snelheid van de nieuwe resultaten verbazen wiskundigen. Francis Johnson van University College London werkte 25 jaar aan een van de opgeloste problemen en had het onderzoek naar eigen zeggen opgegeven. Hij vindt vooral de snelheid waarmee AI tot de oplossing kwam opmerkelijk. Volgens hem moeten wiskundigen leren omgaan met een situatie waarin machines mogelijk resultaten over meerdere deelgebieden tegelijk kunnen produceren.

Tegelijkertijd waarschuwen experts dat de artikelen niet direct als betrouwbare ontdekkingen mogen worden beschouwd. Kevin Buzzard van het Imperial College London bekeek dertig stukken uit zijn vakgebied, de getaltheorie. Slechts zeven leken hem echt indrukwekkend en maar één was geformaliseerd, zodat een computer het bewijs stap voor stap kan controleren. De overige resultaten moeten nog door deskundigen worden nagelezen en geverifieerd.

Ook de manier waarop OpenAI de resultaten presenteerde, leidt tot kritiek. De artikelen verschenen op GitHub, een platform dat meestal voor code wordt gebruikt, en bevatten volgens wetenschappers te weinig uitleg over het model, de gebruikte opdrachten, de rekentijd en de selectie van problemen. De grote hoeveelheid inzendingen komt bovendien op een moment dat arXiv uploadlimieten invoert tegen weinig waardevolle bijdragen.

Een onafhankelijke adviesgroep voor wiskunde en AI had OpenAI juist aanbevolen zulke informatie openbaar te maken en AI-bewijzen zo veel mogelijk te formaliseren. Dat maakt de nieuwe publicatie volgens critici moeilijk verenigbaar met eerder aangekondigde richtlijnen. OpenAI zegt voortaan bronvermeldingen en betere wiskundige uitleg toe te voegen en de gemeenschap tijd te geven om de resultaten te beoordelen.