AnalysisScienceOctober 7, 2026

Scott Aaronson on OpenAI's 372-result math drop: "The Mathocalypse"

Read original source →bsky.app

OpenAI released 372 large math results, including a proof of Subhash Khot's Unique Games Conjecture, on the recommendation of an advisory group including Timothy Gowers and Edward Witten. Aaronson notes no human has understood most of the proofs yet, though some carry Lean certificates.

People · Terence Tao

How this story unfolded

2 days · 2 reports · 18 community posts · 20 of 23 shown

  1. Oct 6
  2. Oct 7
  3. Oct 8

More stories today

Open the live feed