OpenAI just dropped 700 preprints of mathematical proofs and counterexamples
Summary
OpenAI's GitHub math repository release compiles 700 preprints of mathematical proofs and counterexamples, illustrating a broad, open-science approach to AI-driven math research. The page lists individual preprints with titles and directory structure, highlighting the scale and organization of the release. This offers researchers and developers a centralized access point for new mathematical work intertwined with AI tooling.