Definition
Math 2.0 is a research-culture framing by mathematician terence-tao arguing that large-scale autonomous AI problem-solving can deplete mathematical fields faster than traditional Math 1.0 breakthroughs replenish them with exposition, seminars, and collaborative follow-on work.
Key Points
- 2026-10-06: Tao’s Mathstodon thread preceded OpenAI’s release of hundreds of AI-generated math manuscripts on GitHub (2026-10-08-terence-tao-math-2-0-postcutoff)
- Solved problems cannot be “unsolved”; mere existence of solutions contaminates alternate research paths
- Proposed shift: decenter being-first-to-proof; value exposition, community building, and new directions
- Tao argues responsible AI can support follow-on activities, but current incentives often harvest results without replenishing fields
"Math 2.0" is commentary on incentives and culture, not a formal mathematical program.