OpenAI publishes 722 math papers produced by AI
OpenAI has published 722 mathematics papers generated by an unreleased internal frontier model, grouped into 372 result families on GitHub. According to the independent AGMAI group, the work includes results on hundreds of long-open problems, but the papers still need review and verification by the math community. OpenAI says some proofs have been checked with Lean and that the repository will be
