Het is zover: kunstmatige intelligentie heeft de hoogste toppen van de wiskunde bereikt – terrein dat lang werd beschouwd als het exclusieve domein van het menselijk denkvermogen. Op 8 september zei OpenAI, het bedrijf achter ChatGPT, een van de zes nog openstaande ‘millenniumproblemen’ te hebben opgelost. Het resultaat lijkt correct te zijn. Het is daarmee met afstand het belangrijkste wiskundige bewijs dat tot nu toe door AI is geleverd. OpenAI gebruikte een nieuw model, dat nog niet beschikbaar is voor het publiek.
In het jaar 2000 presenteerde het Clay Mathematics Institute zeven grote, onopgeloste wiskundige problemen, als wegwijzer voor de wiskunde van de eenentwintigste eeuw. Het instituut loofde een beloning van één miljoen dollar uit voor elk opgelost probleem. Het Poincaré-vermoeden, een vraagstuk uit de topologie, werd aan het begin van deze eeuw bewezen.
Het probleem dat OpenAI nu claimt te hebben gekraakt, draait om differentiaalvergelijkingen. Dat zijn formules die relaties tussen veranderende grootheden uitdrukken. Ze behoren tot de belangrijkste wiskundige instrumenten om de wereld om ons heen te verklaren. Zulke vergelijkingen zijn eenvoudig op te stellen, maar vaak moeilijk exact op te lossen.
