Steven Strogatz waarschuwt voor onzekere toekomst van wiskunde met AI

Steven Strogatz stelt dat de recente AI-doorbraken in de wiskunde zowel opwindend als zorgwekkend zijn. OpenAI beweert met tienduizenden agents een 90-jaar oud wiskundig vraagstuk te hebben opgelost, waarvoor een prijs van één miljoen dollar wordt uitgeloofd, al moet de oplossing nog onafhankelijk worden geverifieerd. De aanpak bouwt voort op een strategie van de Spaanse wiskundigen Diego Córdoba en Luis Martínez-Zoroa.

Een andere wiskundige, Tristan Buckmaster, beweert dat OpenAI te snel handelde en geprobeerd heeft de toekenning van erkenning te beïnvloeden nadat hij samen met Anthropic-onderzoeker Levent Alpöge aan een verwante oplossing werkte. Naast deze controversie noteert Strogatz dat Anthropic recentelijk Claude liet bewijzen 29.500 kleine stellingen en een formele versie van Fermat’s laatste stelling leverde.

Strogatz voorspelt dat 2026 zich zal laten herinneren als een "annus mirabilis" of "annus horribilis" voor de wiskunde, aangezien AI-gedreven doorbraken steeds sneller plaatsvinden. Hij stelt dat zonder AI geen significante vooruitgang meer haalbaar is, en citeert collega Alex Townsend die ChatGPT inschakelde om een decennia-oud lineair-algebra-probleem op te lossen. Townsend geeft aan zich bedreigd te voelen doordat een AI-agent nu de grens van kennis definieert.

De discussie benadrukt dat menselijke wiskundigen nog nodig zijn voor de interpretatie en vertaling van machine-gegenereerde bewijzen, al dreigt die rol te vervagen. Meer details staan op de pagina van Wired.