Wat lange tijd ondenkbaar leek, is werkelijkheid geworden: kunstmatige intelligenties leveren zelfstandig wiskundige bijdragen aan openstaande problemen. Dat biedt nieuwe mogelijkheden, maar brengt ook risico’s met zich mee. In een tijdperk waarin AI steeds verder doordringt in de wetenschap, is het volgens een groep van zestien wiskundigen zaak om de kernwaarden van de wiskunde te beschermen.
In de deze week gepubliceerde Leiden Declaration on Artificial Intelligence and Mathematics wordt de internationale wiskundige gemeenschap opgeroepen tot actie. De verklaring komt voort uit een conferentie die afgelopen najaar aan de Universiteit Leiden werd gehouden, waar zestig wetenschappers uit de hele wereld bijeenkwamen om te discussiëren over de toekomst van de wiskunde.
De Leidse verklaring wordt onderschreven door de International Mathematical Union. De schrijfgroep werd georganiseerd door Jim Portegies, wiskundige van de Technische Universiteit Eindhoven. „Er zijn grote risico’s, die verder reiken dan de wiskunde zelf. Een daarvan is dat lang niet alle AI-resultaten betrouwbaar zijn”, zegt hij tijdens een videogesprek.
Maar een fout in een wiskundig bewijs wordt bij controle toch wel opgemerkt?
