OpenAI released a bulk of mathematical papers – True

More than 700 preprints in various ... community is in uproar after OpenAI released a trove of more than 700 mathematical preprints entirely generated by artificial intelligence on 6 October....

But the news that broke during the gathering left many of the mathematicians agape: OpenAI had dumped an extraordinary mass of 722 preprints covering 372 distinct results on a website.

The landmark release of 722 papers targeting 372 unsolved problems draws amazement—and criticism

That was when OpenAI, an American artificial-intelligence firm, announced that its AI agents, powered by an unreleased model, had solved at least 372 long-standing mathematical problems in a matter of weeks. The findings, detailed in over 700 ...

Why OpenAI's latest results dump has left mathematicians in shock". The Conversation. Retrieved 2026-10-13. ↑ Aaronson, Scott (October 7, 2026). "The Mathocalypse". Shtetl-Optimized. Retrieved 2026-10-13. ↑ Bumiller, Elisabeth (2026-10-16). "Why One of the World's Greatest Mathematicians Is on a 'War Footing'". The New York Times. Retrieved 2026-10-18. The papers...

Implicator.ai reported that roughly 42 percent of the top-line results, about 300 of 719, had computer-checked Lean proofs as of October 7, 2026. The remainder had not yet been formally verified at that time.

OpenAI pulled 3 of 722 AI-generated math papers one day after release over a sign error. Here is what the retraction reveals about AI math claims.

The October 6 manuscript release ... 7, 2026, just one day later, OpenAI withdrew three manuscripts after a sign error invalidated one argument and the constructions in two dependent papers, leaving 719 of the original 722 ...

In other words, despite the groundbreaking nature of some of the results obtained, the way at least some of the accompanying papers are written is not comprehensible even to experts. OpenAI also may be seeking to move the discussion on from its last big mathematical publication.