OpenAI-Reported Math Breakthroughs Include a Proof of the Unique Games Conjecture

AI summary

The post discusses a set of major mathematics results reportedly released by OpenAI, including a proof of the Unique Games Conjecture and other long-standing problems in complexity theory and algorithms. The author notes that the proofs appear formally certified in Lean, but that humans have not yet fully understood them and are beginning to verify the details.