The Mathocalypse

OpenAI released 372 mathematical breakthroughs yesterday, including a proof of the Unique Games Conjecture that complexity theorist Dana Moshkovitz has spent her career working toward. While the proof comes with a Lean certificate for verification, no human has yet fully understood it, as the AI-generated proofs are extremely difficult to parse and appear to use novel, unconventional mathematical constructions. The development raises questions about the future of mathematics, where AI may become essential for both discovering and verifying proofs that exceed human readability.