AI-systemen lossen tegenwoordig wiskundige problemen op waar onderzoekers soms al tientallen jaren mee worstelen. OpenAI publiceerde onlangs honderden door AI gegenereerde wiskundige manuscripten en claimde zelfs een doorbraak bij een van de beroemde millenniumproblemen.
25 november 2026: onze eerste live-opname in Hal West, koop kaartjes hier:
https://halwest.amsterdam/voorstelling/scientias-podcast-live/
In aflevering 95 van de Scientias Podcast bespreken Diederik Jekel en Krijn Soeteman wat deze ontwikkelingen betekenen voor de wetenschap. Hoe controleer je een bewijs dat bijna niemand meer begrijpt? Wat blijft de rol van menselijke wiskundigen? En kan kunstmatige intelligentie ons uiteindelijk helpen bij ontdekkingen die ons eigen begripsvermogen te boven gaan?
Met uitstapjes naar Einsteins wonderjaar, schaakcomputer Deep Blue en het mysterieuze abc-vermoeden.
Deze aflevering vormt het begin van een uitgebreide serie over kunstmatige intelligentie.
00:00 Intro: is er een crisis in de wiskunde?
02:57 Scientias Podcast binnenkort live in Hal West
04:12 AI-hype, datacentra en de mogelijke bubbel
06:11 Wat gaan we ontdekken in onze AI-serie?
10:23 Waarom maakt slimme AI nog zulke domme fouten?
14:54 AI-agenten, veiligheid en autonome systemen
18:41 De crisis in de wiskunde
21:06 Einsteins wonderjaar en het wonderkwartaal van AI
23:56 De zeven millenniumproblemen
25:07 Heeft AI het Navier-Stokes-probleem opgelost?
29:58 Problemen met het bewijs en de controle in Lean
33:26 Duizenden wiskundeproblemen en de toekomst van onderzoekers
39:50 Computerbewijzen en de vierkleurenstelling
44:58 Deep Blue: wat schaken ons over AI leert
50:03 Worden wiskundigen spelers of toeschouwers?
52:04 Moeten we bang zijn voor deze ontwikkelingen?
58:56 Het abc-vermoeden uitgelegd
1:02:13 Een bewijs dat bijna niemand begrijpt
1:03:59 Kan de mens de wetenschap nog bijhouden?
1:07:45 Volgende week en de afsluiting
See omnystudio.com/listener for privacy information.