OpenAI releases proofs for 372 major math problems, including Unique Games Conjecture
OpenAI published solutions to 372 longstanding mathematical problems, including the Unique Games Conjecture, using an internal model that requires human verification.
