Scott Aaronson

Headlines · 3

1. 5d
   Terence Tao's 'Math 2.0': AI pushes mathematics into proof abundance

   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.

   36氪 人工智能 · 🔥 0
2. Oct 8
   AI labs said to probe whether models can break cryptographic protocols

   Theoretical computer scientist Omer Reingold, citing sources, says several AI labs have quietly begun testing whether their models can break important cryptographic protocols; Scott Aaronson relayed the claim on his Shtetl-Optimized blog with Reingold's permission. No labs are named, no protocols or results are specified, and the claim remains secondhand and unverified.

   Techmeme · 🔥 0
3. Oct 6
   Terence Tao urges AI slowdown as OpenAI forms math advisory group

   Quantum位 (QbitAI) reported that Fields medalist Terence Tao used a SAIR talk to criticize AI companies for accelerating "endlessly," saying "we must slow down" and telling model companies to stop chasing math problems, a phenomenon he called "proof indigestion." The report says Tao, previously an enthusiastic AI adopter, joined Peter Scholze, Deng Yu and other mathematicians in an open letter faulting OpenAI for treating hard problems as benchmarks. In response, OpenAI announced an Advisory Group on Mathematics and AI hosted at the Institute for Advanced Study, with members including Edward Witten, Timothy Gowers and Martin Hairer, though its statement said the group would not advise on internal mathematical progress. A commentary by 数字力场 republished by TMTPost and Huxiu added that OpenAI released 722 model-generated math manuscripts on October 6, only about 42% of which passed Lean formal verification.

   量子位（原生 RSS） · 🔥 8

Experience and discussion from the community

Share my Scott Aaronson experienceAsk about Scott Aaronson