Machines met een wiskundeknobbel

Kunstmatige intelligentie stort zich sinds kort op enkele van de moeilijkste vraagstukken uit de zuivere wiskunde. Met succes. Het lijkt erop dat AI-wiskundigen enorm geraffineerd kunnen redeneren en verrassend creatief zijn. Kunnen deze systemen binnenkort wedijveren met wiskundigen van vlees en bloed?

In de zuivere wiskunde dienen doorbraken zich heel soms aan als een donderslag bij heldere hemel. Ze zijn dan zulke geïnspireerde staaltjes van redeneervermogen en creativiteit dat ze de grenzen van de menselijke intelligentie lijken te verleggen. In 2016 verwonderde wiskundige Timothy Gowers zich bijvoorbeeld over een oplossing van het zogeheten cap-setprobleem, dat te maken heeft met het vinden van het grootste patroon van punten in de ruimte waarvan geen drie punten een rechte lijn vormen. Het bewijs ‘heeft iets magisch, waardoor je je afvraagt hoe iemand er in godsnaam op heeft kunnen komen’, schreef hij.