OpenAI releases their “math” repo where they present proofs of 372 problems and 700+ manuscripts