Tag
Terry Tao's ICM 2026 lecture 'Mathematics in the Age of AI' has been posted to YouTube, exploring how AI, formal verification, and collaboration platforms are transforming mathematical practice while noting their current limitations.
Terry Tao explains a counterexample to the Jacobian conjecture in three dimensions, discovered with the help of Fable AI.
Terry Tao, a renowned mathematician, discusses his evolving views on artificial intelligence in mathematics and his advocacy for large-scale collaborations and computer verification of proofs.
Terry Tao remarks on AI enabling mass-produced mathematics at scale, turning proof-writing into a searchable problem that generates thousands of mini-lemmas and filters them with cheap checkers.