Terence Tao's 'Math 2.0' diagram: AI expands the math frontier instead of shrinking it

mattturck · x · 2026-10-12

Terence Tao shared a "Math 2.0" Venn diagram arguing AI will expand, not displace, the mathematical research frontier: the frontier grows from Math 1.0 (humans) to a larger Humans + AI zone, with AI-only results often shadowed by unreported failed attempts and current press-release hype. Reposter fdouetteau notes the need for explainable, sustainable AI math mirrors a parallel need in software, invoking the Curry-Howard correspondence. Matt Turck amplified the post.

Related event: Terence Tao's "Math 2.0" Talk Declares Era of Proof Surplus, Sparking Interpretability Firestorm(59 posts)→

Original post →

More from AGI Musings

AGI Musings channel →