
Navier-Stokesvergelijking opgelost door AI? - Scientias Podcast 88
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.


















