Terence Tao's new paper: Mathematics in the age of AI
rohanpaul_ai · x · 2026-08-21
Terence Tao published a new essay titled "Mathematics in the age of AI" based on a lecture at ICM 2026. Assuming AI tools capable of research-level math will arrive, the paper examines the goals and values of mathematical research. Tao argues that AI may make proof generation abundant before the field adapts, stress-testing the implicit framework of mathematical values and practices.
Related event: Terence Tao's New Paper Explores Mathematics in the Age of AI(4 posts)→
More from AGI Musings
- Current AIs share our fate: misaligned ASI would doom them too — louisvarge · 2026-10-16
- Testing alongside an agent in a p2p room feels oddly real, says dev — sull · 2026-10-16
- Yudkowsky's 2008 takeoff scenarios resurface as AI-advances-AI takes hold — jd_pressman · 2026-10-16
- Guardrails can make risky delegation work — but it takes a full-time team, says iandanforth — iandanforth · 2026-10-16
- e/acc founder: agentic models are autocomplete for digital actions — beffjezos · 2026-10-16
- What can you truly delegate? Only tasks with unambiguous, verifiable results — iandanforth · 2026-10-16