Navier-Stokesvergelijking opgelost door AI?

Shownotes

Wie krijgt het miljoen? En heeft AI nou wel of niet de nl.wikipedia.org/wiki/Navier-Stokesvergelijkin… opgelost, een van de millenniumproblemen (nl.wikipedia.org/wiki/Millenniumprijsprobleem), 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 (scientias.nl/nieuws/video/podcast).
Introductie
Kaartjes voor het Wetenschapspodcastfestival
Heeft AI een groot wiskundeprobleem opgelost?
Wat kun je met een vergelijking?
De Navier-Stokesvergelijking voorspelt vloeistofstromen
Leonhard Euler en vloeistoffen zonder viscositeit
Navier voegt stroperigheid toe
George Gabriel Stokes komt tot dezelfde vergelijking
De geschiedenis kort samengevat
Computational fluid dynamics
Wervelingen en vorticiteit
Waarom drie dimensies zoveel moeilijker zijn
Waarom een mogelijke singulariteit ertoe doet
Het Millennium Prize Problem
Córdoba en Martínez-Zoroa zetten de eerste stap
Buckmaster en Alpöge schakelen AI in
Het laatste theorema van Fermat
Hoe Lean wiskundige bewijzen controleert
OpenAI mengt zich in de zoektocht
Samenwerkende autonome AI-agents
Tienduizend agents werken aan Navier-Stokes
De geclaimde oplossing
De strijd om prioriteit en erkenning
Wat betekent AI voor de wiskunde?
Het computerbewijs van het vierkleurenprobleem
Wie beheerst de wiskunde van de toekomst?
Afsluiting

See omnystudio.com/listener for privacy information.

Navier-Stokesvergelijking opgelost door AI? - Scientias Podcast 88

Kapitelklicken springt direkt hin

Shownotes