Thursday, Oct 8, 2026
OpenAI released 372 mathematical results including a proof of Subhash Khot's Unique Games Conjecture, a problem that Dana Moshkovitz had worked on for years, though no human has yet fully understood the proofs.