Wat het betekent om wiskundige te zijn wanneer AI de wiskunde doet

Het artikel reflecteert op de veranderende aard van wiskundig werk in het tijdperk van AI. De auteur, een voormalig promovendus in toegepaste wiskunde, herinnert zich zijn eigen worstelingen en begrijpt nu de waarde van de lange reis naar begrip, een gevoel dat gekoesterd wordt door pure wiskundigen. Recente AI-prestaties, zoals Google DeepMinds Aletheia die publiceerbaar onderzoek produceert en OpenAI's systeem dat een vermoeden in de combinatorische meetkunde weerlegt, suggereren dat AI taken kan uitvoeren die voorheen als typisch menselijk werden beschouwd. Bewijsassistenten zoals Isabelle, Lean en Rocq, in combinatie met grote taalmodellen, automatiseren de formalisering. Op het Heidelberg Laureate Forum stonden discussies centraal over AI's potentieel om wiskundigen te vervangen, waarbij sommigen zoals Yang-Hui He zich mensen voorstellen als 'priesters van orakels', terwijl anderen, waaronder Fields-medaillewinnaar Akshay Venkatesh en Maia Fraser, de mensgerichte waarde van begrip en de schoonheid van collectieve intelligentie benadrukken. Terence Tao pleit voor collaboratieve benaderingen waarbij mens en AI samenwerken.