June 11, 2026
Proofs, Pride, and a Tiny AI War
How Terry Tao became an evangelist for AI in math
Math genius backs AI proof tools — and the comments are absolutely split
TLDR: Terence Tao, one of the world’s most famous mathematicians, is pushing a future where computers help verify math proofs. Commenters are fighting over whether that’s brilliant progress, overhyped AI marketing, or just old-school proof software getting a flashy new label.
Terence Tao — the child prodigy who was doing calculus at 7 and collecting math medals before most kids hit middle school — is now being cast as the unlikely face of computer-assisted mathematics. The article traces how he went from solo-superstar legend to someone openly imagining a future where huge teams work together and computers check every step of a proof. Back in 2014, that idea reportedly sounded so wild it made even the panel’s weirdest sci-fi speculation seem tame. Now? The internet is treating it like a full-on math culture war.
The loudest reaction is a mix of awe, suspicion, and memes. One commenter crowned Tao a “next level vibe coder,” joking that he’s so powerful he inspires other people to do the work for him — which is either a compliment, a roast, or somehow both. Another crowd is basically yelling, “Hold on, this isn’t really about AI, it’s about Lean” — a proof-checking software system that some say is the real star here. Then came the practical skeptics, arguing these tools are still too clunky for many areas of math, even if they might work better in more structured subfields.
And because this is the internet, the conspiracy-adjacent hot takes arrived right on cue. One commenter accused the piece of being a hype job tied to AI money and name-dropped Feynman’s “computer disease” for extra sting. Others pushed back with the simple pro-tool argument: the smartest people alive see this stuff as an amplifier, not a replacement. Translation: Tao says math’s future may involve machines, and the comments section immediately turned it into a brawl over beauty, bias, and whether genius has gone full spreadsheet
Key Points
- •In 2014, Terry Tao said future mathematics might be done by very large collaborations and verified by computers rather than only human referees.
- •The article presents Tao’s comments as unusually forward-looking and notes that they were met with skepticism by fellow panelists and the moderator.
- •Tao showed exceptional mathematical ability from early childhood, including learning calculus at age 7 and being highly praised by Julian Stanley in 1985.
- •He set age records at the International Math Olympiad by becoming the youngest bronze, silver, and gold medalist in successive years.
- •Tao completed university studies early, entered Princeton for a Ph.D. at a young age with support from Paul Erdős, and later joined UCLA, where he collaborated with Ben Green.