A month after a high-profile Navier–Stokes episode, OpenAI dumped hundreds more claimed advances on mathematicians. Formal verification covers some proofs. Independent replication of how they were produced does not—yet.
On 6 October 2026, Scientific American reported that OpenAI released 372 results from the same unreleased internal model that recently produced a major mathematics breakthrough, with each result said to resolve or make substantial progress on a major open question in mathematics or theoretical computer science. [1]
What OpenAI claims, via Scientific American
According to Scientific American’s Joseph Howlett, OpenAI posted the results in a GitHub repository at 6 p.m. EDT. Claimed highlights mentioned in the article include a solution to the four-dimensional Kakeya conjecture, improvements on important computer algorithms, and progress toward the Riemann hypothesis. [1]
An OpenAI spokesperson told Scientific American that the new model—not released to the public—produced almost every result in response to a single prompt handed to a single AI agent, a contrast with the earlier Navier–Stokes work described as a 10,000-strong agentic swarm that cost millions of dollars in compute. The spokesperson also said some results might have taken multiple attempts. [1]
Those production-process claims are company statements to the magazine. They are not independently verified in the coverage.
What Lean verification does—and does not—settle
Scientific American reports that many of the results have already been verified in Lean, a programming language that validates a proof’s logic, and are therefore “all but certain to be correct” as formal arguments. [1]
Lean can check that a formalised proof follows from stated axioms and lemmas. It does not automatically settle novelty, importance, whether the formal statement matches the informal open problem, or whether OpenAI’s “single agent / single prompt” story is accurate.
Independent check pending
MIT mathematician Andrew Sutherland told Scientific American: until and unless OpenAI releases the model and people can replicate the results, claims about one-shotting problems with a single agent should be treated as unverified—“We should ask for receipts.” [1]
On 21 September 2026, Scientific American notes, OpenAI said it was assembling an independent advisory group of mathematicians on responsibly publishing AI-generated results. That group’s recommendations, as summarised in the article, call for making public the model, exact prompt and compute time behind each result. OpenAI is instead revealing average compute time for a problem plus some additional statistics—and no prompts. A spokesperson said the team is taking the guidelines seriously and doing its best to comply, but that the company is not bound by the recommendations. OpenAI also said it is working to release the model as quickly and responsibly as possible. [1]
Scientific American further reports that many of the newly released results are not yet understood by OpenAI’s own mathematicians, per the spokesperson. Mathematicians quoted in the piece disagree on pace and disclosure: Toronto’s Daniel Litt sees little reason to keep answers secret; Terence Tao has criticised frontier labs for an “insane” pace of AI-generated results. [1]
What we don’t know / What this does not prove
- Independent check pending: model, prompts and per-result compute are not fully public as the advisory recommendations urged.
- Lean-checked proofs are not the same as community acceptance of mathematical importance or originality.
- “Substantial progress” on open problems is a company framing until specialists finish reading.
- Cheaper-than-swarm generation, if true, would change access—but that “if” is exactly what Sutherland flags as unverified.
The Bottom Line
OpenAI has published 372 claimed math and CS advances from an unreleased model; many are Lean-verified as formal proofs, while independent replication of the generation story remains pending. Read the repository as a flood of candidate results under incomplete disclosure—not as a settled rewriting of the research frontier.
Sources
- Scientific American (Joseph Howlett; edited by Lee Billings), “OpenAI unleashes hundreds more math results upon a field already in shock,” 6 October 2026 — https://www.scientificamerican.com/article/openai-unleashes-hundreds-more-math-results-upon-a-field-already-in-shock/
