296 – Navier–Stokes and What AI Means for Mathematics

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.