OpenAI publishes a GitHub trove of 700 math preprints spanning proofs, conjectures, and counterexamples

OpenAI has released a large collection of roughly 700 mathematical preprints in a GitHub repository, with titles covering advanced areas such as algebra, geometry, probability, and mathematical physics. The files include claimed proofs, reductions, obstructions, and counterexamples to known conjectures.

If substantive, the release could accelerate debate over how AI-generated or AI-assisted mathematics should be vetted, cited, and integrated into research workflows. The scale of the dump highlights a growing trend toward machine-assisted discovery, but peer review and expert validation will determine its real impact.