At 6 p.m. EDT on Tuesday, OpenAI pushed 722 mathematical manuscripts — sorted into 372 “result families” — into a public GitHub repository called openai/math. Scientific American’s headline the same day read “OpenAI unleashes hundreds more math results upon a field already in shock.” By Wednesday morning the Hacker News thread sat at 1,207 points and 1,373 comments.

The loudest objection, largely from people who have spent three years calling this technology a parlor trick, was: where’s the model? OpenAI describes it as an internal frontier model. No name, no weights, no release date. Fair complaint. It is also a category error about how scientific credibility actually works.

The Number Nobody Published Is 3,278

According to the repository’s own readme, as reporters have parsed it, the model was given roughly 4,000 problems. The 722 manuscripts are the ones “judged significant enough to include.” Simple subtraction leaves something in the neighborhood of 3,278 problems that went in and didn’t come out, or came out and were cut.

Who cut them? By what standard? The release contains ten abridged summaries of the model’s reasoning and supporting proof artifacts. It contains no accounting of the discard pile — no list of the problems the thing flubbed, no counterexamples it generated and abandoned, no note on whether the failures clustered around a particular subfield.

That’s not a small omission. The whole reason a journal like the Annals of Mathematics is worth more than a Substack is that its rejection rate is public knowledge. You know what fraction of what gets submitted survives, and therefore you know what a published result is worth. OpenAI handed the field a numerator and kept the denominator in a drawer.

Lean Certifies Truth, Not Significance

Many of the results ship with Lean formalizations — Lean being the proof assistant that mechanically checks whether a theorem follows from its premises. This is genuinely impressive and genuinely beside the point. Lean certifies truth. Nothing in the pipeline certifies significance.

A machine-checked proof can be airtight and still be a curiosity: a true statement nobody needed, an inelegant re-derivation of something known since the 1970s, a lemma whose only virtue is that it was provable by the machinery on hand. Mathematics has an enormous literature of exactly those things already, and it accumulated them at human speed, filtered by referees who could say “correct, but why.”

That filter is the institution, not the proofs. It’s the same reason medicine doesn’t run on p-values alone — a result can be real and still be one of forty attempts, thirty-nine of which stayed in the folder. Statisticians named this the file-drawer problem decades ago. OpenAI has just built the largest file drawer in the history of the discipline and left it closed.

The Skeptics Are Guarding a Door That No Longer Locks

The standard defensive line is “wait for peer review.” That line is about to become a formality for a large class of results, and the people deploying it haven’t noticed.

Peer review was never primarily a truth-detector — Lean now does that faster and better than any referee. Peer review’s real function was triage: deciding what enters the literature and what doesn’t. If verification becomes cheap and mechanical while selection stays internal to a company, then the profession has traded a slow, public, imperfect filter for a fast, private, opaque one and called it progress.

Scientific American noted the Tuesday drop came a month after the company said it had resolved one of the six biggest open problems in the field — this time, the magazine observed, without the multimillion-dollar price tag of the earlier effort. Meanwhile r/math has been running a standing thread, “AI In Mathematics: October 03, 2026,” just to triage the announcements. The field isn’t debating whether this is coming. It’s doing queue management.

A postdoc in a pure-math department, typing in the department Slack channel at 11 p.m. Tuesday: “Our entire seminar schedule is now ‘somebody reads the repo and reports back.’ I don’t know what my job is anymore.”

What to Demand Instead

OpenAI should publish the 3,278. Not the model — the reject pile. A repository of the problems the system was handed and couldn’t crack, with the failures categorized, would be more scientifically valuable than the 722 successes, because it would tell mathematicians where the thing is actually weak instead of inviting them to guess from a curated highlight reel. It would also cost the company almost nothing. The embarrassing part is already computed.

Grant panels and hiring committees should start asking a question that has no precedent: what is a mathematician for, once verification is free? The honest answer is that the job is now mostly taste — choosing problems, spotting the one lemma in twelve pages that matters, knowing which of 722 manuscripts deserves a career. That is a harder skill than proving things, and the field has never explicitly taught it, because the proving used to take long enough that selection was a byproduct of exhaustion.

The uncomfortable part for the skeptics: they’re right that a hidden model is bad for science, and wrong that demanding its weights would fix anything. The weights are the least interesting secret in the building. What’s hidden — the 3,278, the standard used to cut them, the names of whoever applied it at 6 p.m. on a Tuesday — is the part that decides what mathematics becomes next. Ask for that.

Sources