GoKawiilOpenAI Releases Proof of Long-Standing Mathematical Conjecture
OpenAI announced the release of a proof for the Unique Games Conjecture (UGC), a major problem in theoretical computer science and mathematics, as part of a batch of 372 breakthrough results. The proof includes a Lean certificate, but initial reactions suggest it is difficult for humans to interpret without AI assistance, with some describing it as unclear and poorly written. The proof has significant implications for the understanding of NP-hardness in optimization problems.