OpenAI just dropped 700 preprints of mathematical proofs and counterexamples

(github.com) by tootie | Oct 6, 2026 | 2 comments on HN