Overview
Terence Tao is a UCLA mathematician and Fields Medalist known for work across analysis, combinatorics, and number theory. He is a prominent voice on ai-for-mathematics and formal verification (e.g., DARPA ALPHA).
Recent Developments
- 2026-10-06: Published four-part Mathstodon thread on math-2-0 — critiques unsustainable harvesting of autonomous AI proofs and calls for holistic mathematical progress (2026-10-08-terence-tao-math-2-0-openai-math)
- 2026-10-07: After browsing OpenAI’s math manuscript release, highlighted interest in reported progress on section conjecture over Q_p (third-party summaries)