OpenAI has posted hundreds of solutions and progress toward 372 major math problems in a release of 722 manuscripts on GitHub ...