Nov 9, 2026 · 19 min
Listen from 17:01
Listen at 17:01
AI pushes mathematicians toward bigger questions
‘Big Math’ shines a light on the hidden math that runs our world
As computers become better at proving difficult results, mathematics must reconsider which parts of discovery should remain distinctly human.
- 1AI can produce difficult proofs, but some remain opaque rather than elegant or understandable to human mathematicians.
- 2Human mathematicians may increasingly focus on asking new questions and applying mathematics to cancer, climate change, and energy storage.
- 3The same computational ideas connect Netflix recommendations, skyscraper engineering, ancient Chinese mathematics, and modern artificial intelligence.
Don't miss
Strogatz connects an ancient Chinese rice-paddy problem, solved with bamboo counting sticks, to modern linear algebra and computation.
The brief
Steven Strogatz describes mathematicians’ mixed reaction to AI: excitement over a powerful discovery tool, alongside concern that it could remove the pleasure of solving problems.
AI-generated proofs expose a crucial divide: some are elegant and comprehensible, while others solve difficult problems in ways that appear genuinely superhuman.
Strogatz argues that humans may shift toward asking new questions and applying mathematics to cancer, climate change, and energy storage as AI handles more problem-solving.
His book Big Math traces the computational mathematics behind Netflix recommendations and the Burj Khalifa, showing how linear algebra and matrix methods shape everyday systems.
The episode’s deepest historical link is an ancient Chinese rice-paddy problem solved with bamboo counting sticks, a method resembling modern elimination.
From counting boards to supercomputers, Strogatz frames expanding computation as a Faustian bargain: extraordinary benefits may come with a loss of human understanding.
Books & mentions
Some links are affiliate links — PodLume may earn a commission if you buy.
Weekly email
State of the Pod, every Monday
The week's most-discussed names and stories from podcasts, with the moments behind them. Free, five minutes, unsubscribe in one click.