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

 

Wie krijgt het miljoen? En heeft AI nou wel of niet de <a href="https://nl.wikipedia.org/wiki/Navier-Stokesvergelijkingen">Navier-Stokesvergelijking</a> opgelost, een van de <a href="https://nl.wikipedia.org/wiki/Millenniumprijsprobleem">millenniumproblemen</a>, 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 <a href="https://scientias.nl/nieuws/video/podcast/">Scientias Podcast</a>.
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&oacute;rdoba en Mart&iacute;nez-Zoroa zetten de eerste stap 00:42:42 Buckmaster en Alp&ouml;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
&nbsp;

Dé podcast van Scientias.nl over alle wetenschappen, de achtergronden en meer. Met Diederik Jekel en Krijn Soeteman. Met regelmaat ontvangen ze een gast om dieper op een specifiek onderwerp in te gaan. Ook bespreken ze het opvallende wetenschapsnieuws van de week. 

Dé podcast van&nbsp;<a href="http://scientias.nl/" rel="noopener noreferrer" target="_blank">Scientias.nl</a>&nbsp;over alle wetenschappen, de achtergronden en meer. Met Diederik Jekel en Krijn Soeteman. Met regelmaat ontvangen ze een gast om dieper op een specifiek onderwerp in te gaan. Ook bespreken ze het opvallende wetenschapsnieuws van de week.