Math Vs Machine
Summary
Cornell mathematician Steve Strogatz discusses the existential crisis in the math community after OpenAI solved the Navier-Stokes problem and other major challenges. He contrasts this with Regina Barzilai’s work, where an AI detects cancer patterns humans cannot see, raising the question of whether we should value opaque results over human understanding. Strogatz fears a future where machines act as infallible oracles, stripping mathematicians of the struggle and insight that define the discipline.
Topics discussed
Sponsorship and introduction
Host introduction and guest background
AI solving math problems and existential crisis
Evolution of AI math capabilities
AI progress timeline and visual limitations
The unit distance problem solution
AI reasoning and the Fosbury flop analogy
Solving the Navier-Stokes millennium problem
Details of the Navier-Stokes solution
Cost, collaboration, and controversy
Community reaction and opaque solutions
The danger of opaque oracles
Sponsorship and transition
Sponsorship and introduction to Regina Barzilai
Regina Barzilai's cancer diagnosis
Developing AI for mammogram analysis
The value of understanding in math
Future of mathematics and human purpose
Human curiosity and the 2026 outlook
Credits and book promotion
Listen ad-free on Castria