OpenAI publishes 722 manuscripts on 372 major math problems

OpenAI released 722 manuscripts covering 372 major math problems in a GitHub repository, the shared online archive. The set pairs claimed complete solutions with partial progress reports, so it contains unfinished work alongside finished proofs.