OpenAI just dropped 700 preprints of mathematical proofs and counterexamples

OpenAI has released a collection of 700 preprints containing mathematical proofs and counterexamples across various fields of mathematics. The preprints, dated from September through October 2026, cover diverse topics including algebra, geometry, topology, and combinatorics, with many directly addressing long-standing mathematical conjectures and problems.