Wie krijgt het miljoen? En heeft AI nou wel of niet de Navier-Stokesvergelijking opgelost, een van de millenniumproblemen, opgesteld door het Clay Mathematichs Institute of Cambridge, Massachusetts (VS). Diederik legt uit aan Krijn hoe het nou eigenlijk zit met die vloeistofdynamica, een nogal pittige tak van de natuurkunde. Luister hier naar de 88ste aflevering van de Scientias Podcast.
00:00:00 Introductie
00:01:32 Kaartjes voor het Wetenschapspodcastfestival
00:03:11 Heeft AI een groot wiskundeprobleem opgelost?
00:06:30 Wat kun je met een vergelijking?
00:09:32 De Navier-Stokesvergelijking voorspelt vloeistofstromen
00:12:16 Leonhard Euler en vloeistoffen zonder viscositeit
00:17:59 Navier voegt stroperigheid toe
00:23:21 George Gabriel Stokes komt tot dezelfde vergelijking
00:24:14 De geschiedenis kort samengevat
00:26:19 Computational fluid dynamics
00:28:55 Wervelingen en vorticiteit
00:31:29 Waarom drie dimensies zoveel moeilijker zijn
00:34:51 Waarom een mogelijke singulariteit ertoe doet
00:37:02 Het Millennium Prize Problem
00:38:05 Córdoba en Martínez-Zoroa zetten de eerste stap
00:42:42 Buckmaster en Alpöge schakelen AI in
00:46:05 Het laatste theorema van Fermat
00:51:32 Hoe Lean wiskundige bewijzen controleert
00:54:57 OpenAI mengt zich in de zoektocht
00:58:30 Samenwerkende autonome AI-agents
00:59:53 Tienduizend agents werken aan Navier-Stokes
01:01:11 De geclaimde oplossing
01:01:56 De strijd om prioriteit en erkenning
01:05:35 Wat betekent AI voor de wiskunde?
01:06:48 Het computerbewijs van het vierkleurenprobleem
01:10:25 Wie beheerst de wiskunde van de toekomst?
01:16:42 Afsluiting
See omnystudio.com/listener for privacy information.