Get Full Government Meeting Transcripts, Videos, & Alerts Forever!
Get email alerts on the Ai Mathematics topic
No spam. Unsubscribe anytime.
Terry Tao: AI and formal verification are transforming mathematics
Summary
Professor Terry Tao said AI, formal verification and collaborative tools are accelerating problem solving and proof formalization, moving the field from “proof scarcity” toward what he called an era of “proof abundance.”
Terry Tao, a field‑medalist mathematician, told the plenary that artificial intelligence is changing mathematics by providing computational power, alongside formal verification and modern collaborative tools. "Mathematics is really being transformed almost by the week," Tao said, noting that AI provides raw power and formal checkers help vet answers AI sometimes gets wrong.
Tao cited the Erdős problems as an example of rapid progress, saying a year ago roughly 300–400 problems were solved and the count has climbed to nearly 500, with notable spikes after new models were released. He also described advances in automatic formal verification, noting that problems once requiring years to formalize are now checked in days. "We are gonna enter an error proof abundance where we have more proofs than we know what to do deal with," Tao said.
