AI's Math Takeover: 722 OpenAI Manuscripts Ignite a Field-Wide Revolt

Mathematics has spent most of 2026 discovering what it feels like to be outpaced by its own tools, and the most dramatic stretch of that reckoning has now landed in public. On October 6, OpenAI pushed 722 mathematical manuscripts to a public GitHub repository, all of them generated by an internal frontier model that nobody outside the company can run, test, or inspect1841. The batch spans 372 result families and roughly 17 fields, drawn from about 4,000 problems the model was posed, with OpenAI describing the drop as the start of a "new era of discovery"414642. It is the largest single release of machine-produced mathematics ever attempted, and it arrived on the heels of a summer in which AI systems disproved the Jacobian conjecture, knocked over multiple Erdős problems, and took a reported run at Navier-Stokes — a Clay Millennium Prize problem12175.

The reaction was not applause. It was a field's institutional machinery mobilizing in real time.

What Actually Happened: From Navier-Stokes to 722 Papers

The immediate trigger was September 8, when OpenAI announced that roughly 10,000 agents, working for about 88 hours, had produced a proposed resolution to the Navier-Stokes existence and smoothness problem, one of the seven Millennium Prize problems1817. The claim landed hours after NYU's Tristan Buckmaster and Anthropic's Levent Alpöge had published their own related breakthrough on the forced Euler equations, and Buckmaster publicly accused OpenAI of racing to release results whose approach, he said, mirrored their own — work he believes was visible in OpenAI's own Codex logs1117. OpenAI denied that its agents had seen the pair's work, while conceding in its blog that it "cannot rule out" that de-identified data from their usage of OpenAI products had helped train the models1117.

Within days, Terence Tao and 24 other Fields Medalists signed an open letter titled "A Severe Misalignment of AI in Mathematics," warning that labs treating open problems as benchmarks to brute-force risked eroding the field's verification norms and rushing results out "with no time for a proper writeup and citing relevant previous work of others"131617. That letter is the direct ancestor of the October 6 release: OpenAI's own advisory-group page cites the mathematicians' concern about "the negative externalities of solving open problems as a benchmark for new AI systems" as the reason the group was formed at all18.

The Benchmarks Behind the Drama: AIME, FrontierMath, and What the Scores Actually Show

The research context explains why the labs moved so fast. On Epoch AI's FrontierMath benchmark, the state of the art went from under 2% in November 2024 to 52.4% on Tiers 1-3 by April 2026 with GPT-5.5 Pro — one of the fastest rates of improvement on any major AI benchmark5. After Epoch AI released FrontierMath v2 in June 2026, correcting errors found in 42% of the original problems, scores on the corrected Tier 4 set jumped further: Epoch's own hub lists Claude Fable 5 at 87.8% and GPT-5.6 Sol at 82.9%, while OpenAI reported 97.6% for its GPT-6 Astra — a company-reported figure with no independent run, published just days before the Navier-Stokes announcement510. On AIME 2026, the top of the leaderboard is effectively saturated, with GLM-5.2 at 99.2% and a cluster of models above 96%18.

That saturation is the technical backstory of the drama: OpenAI's repository README states that it expanded into open research problems "after performance on our existing mathematical evaluations saturated"46. When a benchmark stops discriminating between models, labs hunt for harder proxies — and open research problems are the only frontier left. The catch, as the mathematicians' letter argues, is that research problems have no answer key, so the scoreboard logic that worked for competition math breaks down exactly where the field's stakes are highest1718.

The ArXiv Layer: What the Research Literature Says Is and Isn't Possible

While the public fight played out in blog posts and GitHub releases, the machine learning literature was quietly building both the engine and the critique of what the labs are doing. On the engine side, Google DeepMind's AlphaProof Nexus paper — posted to arXiv in May 2026 — ran an agent system against 353 formally stated Erdős problems and autonomously resolved 9 of them, at a per-problem cost of a few hundred dollars, plus 44 of 492 OEIS conjectures, with results logged on Tao's own wiki of AI contributions3139. The workflow is consistent across the 2025-26 discovery literature: neural proposal, informal drafting, autoformalization into Lean, formal verification37.

On the critique side, a May 2026 arXiv survey of roughly 120 studies on LLM mathematical reasoning identifies the structural weakness the mathematicians' letter is gesturing at: final-answer accuracy, benchmark contamination, and fluent-but-unfaithful chain-of-thought systematically mask reasoning failures, and "simply scaling model size cannot resolve these representational limitations"2123. A separate May 2026 paper found that code-execution methods did not improve robustness under simple problem perturbations — chain-of-thought was actually the most stable method, with only a 1.3-point accuracy drop when problems were varied25. An evaluation study of GPT-4o, DeepSeek-V3, and Gemini 2.0 on university-level mathematics found accuracy collapsing on multi-step problems, with GPT-4o's errors driven less by conceptual misunderstanding than by missing formal justification30. And a June 2026 arXiv paper titled "Flood and Harvest" makes the theoretical point at the heart of the Fields Medalists' complaint: a proof checker can guarantee soundness, but it cannot guarantee taste — a verifier that accepts only valid statements still permits an unbounded flood of trivial ones, and the gap between what a checker certifies and what a mathematician would value is now "the binding constraint"32.

Model Efficiency: The Real Story Inside the 722-Paper Release

The efficiency angle is the least-covered and most telling detail of the October release. OpenAI's README reports that each accepted result averaged roughly three hours of ChatGPT Pro-equivalent thinking compute — a per-result cost that, multiplied across 4,000 posed problems and 722 surviving manuscripts, implies a mass-generate-then-curate pipeline rather than a hand-polished proof process414618. This is the AlphaProof Nexus cost model — a few hundred dollars per problem — scaled to lab production volumes, and it is exactly what makes the mathematicians' letter so pointed: at three hours of compute per result, the limiting factor is no longer mathematical difficulty but the community's capacity to absorb, verify, and teach what the machine produces1431.

The efficiency story cuts both ways for the labs. Three hours per result is a genuine technical achievement, and the Lean formalization effort is real — 162 of the 722 manuscripts have fully formalized main results, and 235 of 372 families carry a linked formalization page4146. But the remaining 56% of families rest on the model's narrative account alone, and OpenAI's own README concedes that "some of the unformalized results could have issues"4146. The advisory group's September 29 recommendations asked for the model name, prompts, reasoning summaries, compute costs, and formalization for every result; the release supplies 10 reasoning summaries across 722 papers, an unnamed model, unpublished prompts, and a GitHub repository on OpenAI's own account — a partial compliance at best4144.

Where the Reporting Agrees and Where It Splits

The coverage is unanimous on the sequence of events and on the fact that the verification gap is the story: the Clay Mathematics Institute still lists Navier-Stokes as "active," not solved, and no independent refutation or confirmation has yet landed for the unformalized subset of the October release1848. It agrees, too, that the advisory group — associated with the Institute for Advanced Study and including Tao — was formed by OpenAI to coordinate releases rather than certify truth, a distinction Tao himself drew on his blog18.

It splits on interpretation. Futurism and New Scientist frame the episode as outright harm, with Tao accusing labs of "dumping carcasses of raw meat" on the community and leaving the explaining, teaching, and refereeing to humans1411. Scientific American and The Atlantic emphasize the values rupture — a "crisis in our mathematical values and practices" — and Tao's shift from starring in an OpenAI promotional video to signing the Fields Medalist letter131512. A more technical reading, visible in the repository-level analyses, treats the October drop as a genuine engineering milestone wrapped in an unresolved governance problem: the Lean-verified subset is the defensible core, and the rest is a claim awaiting the field's slow machinery4644. Notably, the field is not unified — 2026 Fields Medalist Jacob Tsimerman left Toronto for OpenAI, judging AI would soon do mathematicians' work "faster and better," and did not sign the letter1718.

The deeper split is over whether the crisis is temporary. The Leiden Declaration — published June 2, 2026, drafted by 16 mathematicians after a September 2025 Lorentz Center workshop, endorsed by the International Mathematical Union, and now carrying thousands of signatures — warned about unreliable proofs, missing citations, closed proprietary dependence, and the loss of research autonomy well before Navier-Stokes made the argument famous49505356. But Timothy Gowers, blogging in July, pushed back on the declaration's core premise that credit and responsibility must stay with humans, arguing that if AI results are autoformalized and verifiable, the old authorship economy may simply dissolve — an uncomfortable position, but an honest one about where the technology is heading52.

The Reading: The Canaries Have Spoken

The most defensible reading of this moment is that the drama is not about whether AI can do mathematics. On the Lean-verified subset, on the Erdős resolutions, on FrontierMath's curve, that question is largely settled in the affirmative315. The drama is about who absorbs the cost of verification. Tao's five-step framework — a result must be created, checked, explained, accepted, and digested into what is taught — identifies precisely where the labs have optimized (the first two) and where they have offloaded (the last three)14. The three-hour-per-result efficiency figure makes the asymmetry concrete: production is now industrial, absorption remains artisanal.

MIT's Andrew Sutherland's remark at the congress — that mathematicians may be the canary in the coal mine for other professions — is the right frame for why anyone outside mathematics should care12. The pattern here, benchmark saturation driving labs toward open problems with no answer key, mass production outrunning verification norms, and attribution disputes over training data, will recur in every field where AI output is plausible, valuable, and hard to check. The mathematics community, uniquely equipped with a mechanical verification culture through Lean, is the first to fight it in public. The October 6 release, with its 162 machine-checked papers and its 560 resting on trust, is the opening position of a negotiation the rest of the sciences are about to join4641.