OpenAI pulls three AI-generated math papers one day after release

OpenAI released 722 AI-generated mathematics papers on October 6, 2026. By October 7, three of them were gone. The company withdrew the papers after finding a sign error in one proof. That single mistake undercut key arguments in two related manuscripts that depended on it. What OpenAI released, and what it pulled The original drop landed on OpenAI’s GitHub repository. It contained 722 papers grouped into 372 result families, all produced by an unnamed proprietary model. The manuscripts aimed at around 4,000 unresolved problems in mathematics. They claimed advances on numerous longstanding conjectures, including progress on several Millennium Prize Problems. The model reportedly spent approximately three hours on average per result. The flawed proof sat in algebraic geometry. A sign error means a plus where a minus should be, or the reverse. In a proof, one flipped sign can turn a valid chain of logic into one that proves nothing at all, and every argument built on top of it falls with it. After the withdrawals and revisions, the corrected catalog now stands at 719 papers. OpenAI emphasized that the mathematical assertions themselves have not been refuted. The verification problem ...