The Mathocalypse
Summary
Scott Aaronson’s blog covers OpenAI’s recent math breakthroughs and a potential proof of the Unique Games Conjecture, with Lean certificates cited for some results. It delves into how AI-assisted proofs are changing how mathematicians read, verify, and communicate complex research, and contrasts different dissemination models used by AI labs. The post sets up multiple angles for content creators to explain the breakthroughs, their implications for AI in research, and the sociotechnical dynamics of math in the era of large language models.