Terence Tao: How I Used AI Coding Agents for Math Visualization
What Happened
Terence Tao, one of the world's most prominent mathematicians, published a blog post about his experiences with modern AI coding agents for creating interactive mathematical applications. He describes which tools he used (likely Claude Code or Cursor), what they handled well, and where he hit limitations.
Interesting Observations
- AI agents were able to quickly create basic visualizations from mathematical descriptions
- Problems arose with complex mathematical logic, where the agent would 'hallucinate' steps
- Tao emphasizes that mathematical verification still requires human expertise
Why It Matters
When a world-renowned mathematician experiments with AI coding agents, it's a signal about the maturity of these tools — even for the mathematical community.
Open original source
Terence Tao Blog