OpenAI just dropped 700 preprints of mathematical proofs and counterexamples | TickerVault