AI Math Podcast Sits Down With CMU's Jeremy Avigad: Can Mathematics Be Automated?
EchoShao8899 · x · 2026-09-07
- Episode 5 of the podcast features philosopher-mathematician Jeremy Avigad of Carnegie Mellon, an early driving force behind Lean 3, for a deep technical conversation on AI and mathematics.
- Topics: the historical landscape of AI for math, formalization and computer-assisted proof, and what it means to truly learn and understand mathematics amid the current wave of AI-for-math excitement.
- Avigad also shares his vision for the future role of mathematicians, math education, and mathematics itself.
More from AGI Musings
- tenobrus: Human-centric code conventions may not survive superhuman coding models — ricklamers · 2026-09-07
- Deep dive: grading 42 funds behind the AI private-equity rollup wave — curious_vii · 2026-09-07
- OpenAI Publishes 'An Alien Mind' by Its Chief Scientist — bparrish · 2026-09-07
- OpenAI Chief Scientist: No Lab Has Solved Alignment Enough to Keep Scaling at Max Speed — Tinac4 · 2026-09-07
- LLMs as a Cognitive Virus: New Paper Models AI Dependence Tipping Points — serrjoa · 2026-09-07
- Privacy Outrage Is Just the Lag Between Tech Progress and Cultural Adaptation — signulll · 2026-09-07