OpenAI releases 722 manuscripts spanning 372 major math problems

OpenAI released 722 manuscripts with claimed solutions and progress reports spanning 372 major math problems, publishing the corpus in a GitHub repository. The set includes complete claims and partial progress, not only finished proofs.