Terence Tao on AI in mathematics (and beyond)

A curated, AI-drafted and author-reviewed summary of Terence Tao's views on AI in mathematics, distilled from roughly 80 Mastodon posts, over twenty interviews and talks, six long-form essays and lectures, about 55 of his blog comments, and a direct interview, organized into parts on what AI is, when to use it, and how to deploy it well. Tao frames AI as the latest step in a long automation of mathematical labor, describes current tools as achieving "artificial general cleverness" rather than general intelligence, and stresses verification as the filter that makes unreliable tools useful. The page also discloses his industry ties and funding, and notes his October 2026 statement that he no longer sees a way to engage constructively with OpenAI.