Scott Aaronson on how AI math breakthroughs strain human research and publishing

The Mathocalypse

In a post titled "The Mathocalypse," Scott Aaronson lays out the challenge of understanding, explaining and holding together a research community when AI math results arrive in bulk. He says OpenAI published 372 results yesterday, including a solution to the unique games conjecture, some with Lean certificates, and that humans have understood almost none of the solutions.

Why it matters: Aaronson compares how two companies release AI math results, and how publishing raw solutions versus having scholars write them up splits the explanation work and the academic credit.