citizenportal.ai
Terry Tao: AI and formal verification are transforming mathematics
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.”