De wereld van de wiskunde is in rep en roer. Problemen waar wiskundigen jarenlang op hebben geploeterd, blijken ineens oplosbaar voor kunstmatige intelligentie. Daarmee lijkt wiskunde een van de eerste wetenschappen die door AI in een existentiële crisis belandt. Want als een computer wiskundeproblemen beter oplost dan wiskundigen zelf, wat betekent het dan nog om wiskundige te zijn?
Sam Simons en Ruben Brandon spreken twee wiskundigen die zich al langer bezighouden met het snijvlak van AI en wiskunde: Tim van Erven, universitair hoofddocent aan de Universiteit van Amsterdam, en Jim Portegies, universitair docent aan de Technische Universiteit Eindhoven. Hoe is het om in oktober 2026 wiskundige te zijn? Wat moet het vakgebied met de honderden documenten die OpenAI in één keer online zette? En waarom is wiskunde een veel socialer vak dan je zou denken?
Met een gastcolumn van Jan Rooduijn.
Genoemd in deze uitzending:
- Leiden Declaration on Artificial Intelligence and Mathematics: https://leidendeclaration.ai/
- AI4Math Workshop: Shaping the Future of Mathematics with AI (4 december 2026): https://ai4math.nl/
Deze aflevering is het eerste deel van een serie over de AI-transitie in de wetenschap.