OpenAI just dropped 700 preprints of mathematical proofs and counterexamples

Comments moved thither. Thanks!