OpenAI's AI Solves the Unique Games Conjecture and 371 Other Major Math Problems
The Mathocalypse
On October 7, 2026, OpenAI released 372 major mathematical results, including a proof of the Unique Games Conjecture, a breakthrough in derandomization, and faster algorithms for Fourier transform and integer multiplication. The proofs are machine-verified but largely incomprehensible to humans, sparking a race to digest them. The AI model behind this, an internal OpenAI system, solved about 5% of longstanding open problems it was tested on, each within roughly three hours of compute.
It feels like something written by someone who's on psychedelics. So much unclear and doesn't make sense. Lots of name dropping of previous work without discussing why it can be used despite impossibility results.