OpenAI releases 700 AI-generated math proofs and counterexamples

Original: OpenAI just dropped 700 preprints of mathematical proofs and counterexamples

Source: github.com ↗