In an October 9 talk at Caltech's Beckman Auditorium, Fields medalist Terence Tao retitled his lecture from "Machine-Assisted Proofs" to "Math 2.0," arguing that frontier AI has moved mathematics from an era of proof scarcity into one of proof abundance. The report relays claims that OpenAI coordinated roughly 10,000 AI agents to produce a Lean-verified finite-time singularity proof for the Navier-Stokes equations in 88 hours and published 700-plus AI-generated math manuscripts covering 372 results on GitHub, that Anthropic said Claude raised the lower bound for nontrivial zeros of the Riemann zeta function from 41.6% to 67.2%, and that Google DeepMind's AlphaProof has reached IMO gold-medal level. Tao warned via a thought experiment about an AI-designed "perfect cancer drug" that correct but incomprehensible output is a dangerous misalignment, and proposed Math 2.0: human-AI collaboration that feeds back into human understanding, such as tackling "open explanation problems," merging papers into an evolving knowledge network and building large formalized math knowledge bases.