Tag
OpenAI released 372 major mathematical breakthroughs, including a machine-generated proof of Subhash Khot's Unique Games Conjecture with a Lean certificate — the first results for which human mathematicians have not yet understood the proofs.