# OpenAI mathematics release leaves researchers facing a large verification backlog

_Published Friday, October 9, 2026 at 4:07 PM EDT · AI, Science · Latest · Tier 2 — Notable_

![Melting calculator with glitch effects. — Primary](https://platform.theverge.com/wp-content/uploads/sites/2/2026/10/STKS537_AI_MATH_5.jpg?quality=90&strip=all&crop=0%2C10.732984293194%2C100%2C78.534031413613&w=1200)

OpenAI's release of nearly 400 AI-generated mathematical results has left researchers facing a verification effort that could take years, mathematicians told The Verge. The collection spans more than 700 manuscripts across fields including geometry, number theory and theoretical computer science.

OpenAI said 300 top-line results out of 719 manuscripts had been formalized using Lean, a tool that lets computers check mathematical proofs. Researchers still must establish that those proofs match the accompanying claims, and some reported mismatches and inconsistent quality.

Several mathematicians described potentially important advances on longstanding problems. Others said difficult write-ups and incomplete verification prevented them from confidently assessing results relevant to their work.

## Sources

- [The Verge](https://www.theverge.com/ai-artificial-intelligence/1008726/openai-mathematics-solutions-chaos)

---
Canonical: https://techandbusiness.org/newswire/hz71WnYdbQfNM56no_Ven8
Published: 2026-10-09T20:07:47.099Z
Story chronology: 2026-10-09T19:09:44.000Z
Retrieved: 2026-10-09T22:34:09.860Z
Publisher: Tech & Business (techandbusiness.org)