Prompted by the recent potential AI-generated proof related to the Navier–Stokes problem, George and David reflect on what this could mean for mathematics and mathematicians. They explore the role of proof in advancing mathematical knowledge, what might change if AI becomes increasingly capable of producing proofs, and why mathematics has always been about more than solving problems alone.
Podzilla Summary coming soon
Sign up to get notified when the full AI-powered summary is ready.
Free forever for up to 3 podcasts. No credit card required.
Listen to This Episode
More from The IDEMS Podcast
302 – The Journey to Our First Patent
301 – Understanding Complex Systems Through Observational Studies
300 – Our First Patent and the Future of Adaptable Technology
299 – Fund IDEMS, Help Build an Alternative Digital Future
Get summaries like this every morning.
Free AI-powered recaps of The IDEMS Podcast and your other favorite podcasts, delivered to your inbox.
Free forever for up to 3 podcasts. No credit card required.