Terence Tao delivers ICM 2026 lecture on mathematics in the age of AI
Tao argues that current AI tools, combined with formal verification and modern collaboration platforms, enable new ways of doing mathematics at scale, with broad collaborations between professionals, scientists, the public, and AI.
Featured · Terence Tao
2 sources
Daily brief
Get tomorrow's AI brief in your inbox
More stories today
- GOP panics over Big Tech ties as Trump shifts on AI regulation
- Ethan Mollick: Claude's skill creator beats ChatGPT for reusable skills
- Aident Loadout gives agents 27,000+ tools and logs every action
- Etched gains sizable fan base for AI inferencing computers
- Corbell generates technical specs from repository knowledge graphs