OpenAI drops 700 math preprints, many disproving famous conjectures

OpenAI just dropped 700 preprints of mathematical proofs and counterexamples

OpenAI has published roughly 700 mathematical preprints on GitHub, spanning proofs, counterexamples, and obstructions across algebra, geometry, topology, and combinatorics. Titles include counterexamples to Kaplansky's direct finiteness conjecture, Hadwiger's conjecture, and the Kadison-Kaplansky projection conjecture, plus results on Max Cut hardness and perfect matchings. The bulk of the collection is dated September and October 2026.