OpenAI has uploaded 722 manuscripts to GitHub that, taken together, claim either solutions to or progress on 372 major math ...