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
298 – AI for Experts and AI That Builds Expertise
297 – Seeing Africa at Its True Size
295 – Putting Climate Data Rescue into Practice
294 – Reflections on Climate Data Rescue
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.