OpenAI has posted hundreds of solutions and progress toward 372 major math problems in a release of 722 manuscripts on GitHub, the company announced. The breakthroughs from an unreleased ChatGPT ...