Terence Tao

Terence Tao and the Mathematics of AI: What a Genius Sees That We Don’t

Terence Tao has spent four years documenting how AI is changing mathematical research — from GPT-4's first useful day to a July 2026 AI-found counterexample to the Jacobian conjecture. Here is what the world's greatest living mathematician sees about AI-assisted discovery, the benchmark numbers behind it, and where machine reasoning still hits its limits.