Fields Medalist Terry Tao's ICM 2026 talk, "Mathematics in the Age of AI," is now on YouTube

Reddit r/ArtificialInteligence News
ai-in-mathematics terry-tao icm-2026 formal-verification artificial-intelligence math youtube-lecture

Summary

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.

No content available
Original Article
View Cached Full Text

Cached at: 08/13/26, 09:26 PM

# Fields Medalist Terry Tao's ICM 2026 talk, "Mathematics in the Age of AI," is now on YouTube **Channel:** coldstar Source: [https://www.youtube.com/watch?v=M0--ZH1lOzg](https://www.youtube.com/watch?v=M0--ZH1lOzg) ## Description Mathematics in the Age of AI ~ Current AI tools, when combined with formal verification and modern collaboration platforms, are enabling new ways to do mathematics at scale, with increasingly broad collaborations between professional mathematicians, other scientists, members of the public, and AI tools. Yet these tools continue to have only a modest impact on more traditional mathematical objectives, such as making progress on individual highly difficult problems. In this lecture we survey the recent achievements of these new paradigms, as well as their continuing limitations.

Similar Articles

How Terry Tao became an evangelist for AI in math

Hacker News Top

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.

Terence Tao on How AI Is Changing Mathematics

YouTube AI Channels

Mathematician Terence Tao believes AI is reducing cognitive friction in mathematical research, enabling experimentation and bold ideas, and is expected to become a mainstream tool. He also predicts that future mathematical publications will share exploration paths rather than just final results.