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 Introductie00:01:32 Kaartjes voor het Wetenschapspodcastfestival00:03:11 Heeft AI een groot wiskundeprobleem opgelost?00:06:30 Wat kun je met een vergelijking?00:09:32 De Navier-Stokesvergelijking voorspelt vloeistofstromen00:12:16 Leonhard Euler en vloeistoffen zonder viscositeit00:17:59 Navier voegt stroperigheid toe00:23:21 George Gabriel Stokes komt tot dezelfde vergelijking00:24:14 De geschiedenis kort samengevat00:26:19 Computational fluid dynamics00:28:55 Wervelingen en vorticiteit00:31:29 Waarom drie dimensies zoveel moeilijker zijn00:34:51 Waarom een mogelijke singulariteit ertoe doet00:37:02 Het Millennium Prize Problem00:38:05 Córdoba en Martínez-Zoroa zetten de eerste stap00:42:42 Buckmaster en Alpöge schakelen AI in00:46:05 Het laatste theorema van Fermat00:51:32 Hoe Lean wiskundige bewijzen controleert00:54:57 OpenAI mengt zich in de zoektocht00:58:30 Samenwerkende autonome AI-agents00:59:53 Tienduizend agents werken aan Navier-Stokes01:01:11 De geclaimde oplossing01:01:56 De strijd om prioriteit en erkenning01:05:35 Wat betekent AI voor de wiskunde?01:06:48 Het computerbewijs van het vierkleurenprobleem01:10:25 Wie beheerst de wiskunde van de toekomst?01:16:42 Afsluiting See omnystudio.com/listener for privacy information.

Ask this episode

“What did the council decide on item 42?” — answered with the speaker and the moment.