OpenAI just dropped 700 preprints of mathematical proofs and counterexamples
OpenAI has released a repository of roughly 700 preprint papers that contain mathematical proofs and counterexamples. The collection, posted on its platform, is intended to provide researchers with a broad set of formal results for testing and training AI models. OpenAI says the material spans various fields of mathematics and is freely accessible to the public.