Terence Tao warns AI shifts scarcity in math
gerardsans · x · 2026-08-22
Terence Tao published a new essay "Mathematics in the Age of AI" exploring the deep impact of AI on the discipline. The core message: while AI makes generating correct proofs cheaper and faster, it creates a deeper problem. Mathematicians cannot possibly read, understand, verify, and teach thousands of new results. The scarce resource shifts from finding proofs to making sense of them. The same shift is visible in software, where "vibe coding" is flooding codebases with exponentially more lines of code.
Related event: Terence Tao's New Paper Explores Mathematics in the Age of AI(4 posts)→
More from AGI Musings
- Minerva brings AI to a 3,000-person village and acquires accounting firms across the US — ycombinator · 2026-10-16
- Interpretability is too costly for everything, but great for post-hoc forensics — jessi_cata · 2026-10-16
- Neuron labels are like code comments: debate on interpretability vs CoT — jessi_cata · 2026-10-16
- Jensen Huang: UK Must Fix Energy Prices to Seize Its AI 'Goldilocks Moment' — KeeganMcB · 2026-10-16
- SF Vibes Are Electric as Engineers Move From Automation Anxiety to Awe — zack_overflow · 2026-10-16
- Neel Nanda: interpretability is useful but nowhere near reliable enough to ensure AI safety — aryaman2020 · 2026-10-16