Aaronson's "The Mathocalypse": OpenAI's 372 results include a Unique Games Conjecture proof
burny_tech · x · 2026-10-08
Scott Aaronson published a blog post "The Mathocalypse" capturing the shock after OpenAI released 372 major math results overnight:
- Recommended by an advisory group including Timothy Gowers and Edward Witten, the results include a proof of Subhash Khot's Unique Games Conjecture (UGC) — a problem Aaronson's wife, complexity theorist Dana Moshkovitz, worked toward her entire career. His 9-year-old son even taunted her about getting "cooked" by a robot.
- Some proofs carry Lean certificates, but almost no human has understood any of them yet; the race to do so has just begun. Dana described the proof as "like something written by someone on psychedelics — so much unclear."
- Aaronson calls it surely one of the biggest days in mathematical history, whether one is thrilled, depressed, or angry about it.
Related event: Scott Aaronson's "Mathocalypse": OpenAI Drops 372 Math Results in One Day(5 posts)→
More from Models
- Blogger's Haiku 5.5 prediction ages well: Opus 4.5-level smarts at flash-model prices — willcb · 2026-10-08
- LateOn and mLateOn models now available in Qdrant's fastembed — IgorCarron · 2026-10-08
- "The more I use Opus 5.5, the more I realize how far behind OpenAI models are" — marclou · 2026-10-08
- JetBrains open-sources Mellum2.1 with scaled RL post-training for agentic coding — huggingface · 2026-10-08
- After disappointing zrank-4b and qwen-8b rerankers, team falls back to dsv4-flash — bo_wangbo · 2026-10-08
- Thomson Reuters CTO: Building a Frontier Model Cost $450K, Not $40M — bigdata · 2026-10-08