Sam Altman prices OpenAI’s math spree at ‘100s of millions’ — and Reddit does the arithmetic on his 32-second clip

Thirty-two seconds of Sam Altman talking about the price of mathematics did what a 52-minute interview could not: it gave the internet a number to argue about. The clip, posted to r/singularity on Thursday morning by u/ilkamoi, is a single excerpt from Altman’s new Cheeky Pint interview. In it, the OpenAI chief is asked, plainly, what the mathematics work cost. His answer comes in two parts, and the thread spent the next eight hours pulling them apart.

Part one is the headline figure: Navier-Stokes, the century-old fluid-dynamics problem at the centre of OpenAI’s September announcement, cost on the order of $10 million in compute. Part two is the one that travelled further. Asked, in effect, whether that meant hundreds of proofs at $10 million apiece, Altman pushed back — later work got much cheaper on average, he said — and then landed on a much bigger total anyway: hundreds of millions of dollars of mathematics, including, in his words, much more discovery than OpenAI has published.

What the 32 seconds show#

The clip itself is unadorned: Altman in a pub booth, a pint glass on the table, answering an interviewer off camera, with captions on screen. There is no chart, no document, no receipt — just a spoken estimate, delivered in the loose language of a conversation. That looseness is doing a lot of work here. “Order of $10 million” is not an invoice; it is a rounded, spoken approximation, and Altman immediately qualifies it, saying the team got dramatically more efficient as it went. The full interview, published by Cheeky Pint on October 29 under the title “Sam Altman’s case for making compute cheap,” runs 52 minutes and 44 seconds; the Reddit post links to it, and its published transcript carries the same exchange, including Altman’s line that the team could probably redo Navier-Stokes at a hundredth of the cost a year later.

For context, the Navier-Stokes result is the one OpenAI announced in September: an internal system, working with thousands of agents over days, produced a proposed solution to the existence-and-smoothness question for the equations that describe fluid motion, with the proof subsequently formalised in Lean, the computer-checked proof system. It is one of the seven Millennium Prize Problems, and the claim drew both celebration and sharp scrutiny from mathematicians at the time. The new clip does not add a proof or a paper. It adds a price tag — and a tease.

What Altman did not say#

The most important correction in the thread is about a number Altman never uttered. Nobody in the clip says OpenAI solved 700 proofs at $10 million each. That multiplication is the interviewer’s extrapolation and the commenters’ arithmetic, and Altman explicitly resists it on camera, insisting later proofs cost far less on average than the first. Treating “700 times $10 million” as his claim would be getting the clip backwards: the whole point of his answer is that the unit cost collapsed as the team learned how to run agent swarms at scale.

The second correction is about what counts as evidence. A spoken cost estimate from a chief executive about his own company’s internal spending is not an audited figure, and nothing in the post independently verifies it. What can be checked is narrower: that Altman said these words, in this interview, on camera — and the published transcript corroborates the exchange. Everything beyond that, including the size and contents of the unpublished backlog he gestures at, rests on his word.

Reddit does the arithmetic#

The top of the thread splits three ways, and the split is the story. The most prominent comment reframes the entire debate, arguing that analyses built on public token prices are meaningless because those prices are not what OpenAI actually spends internally. A second camp takes the figures at face value and calls them a bargain: a hundred million dollars, on this reading, for hundreds of unsolved proofs that benefit everyone, set against what governments spend on anything else. A third camp reads Altman’s delivery rather than his numbers, describing him as defensive about the $10 million figure and quick to blur the total once the extrapolation turned awkward.

There is also a conditional voice worth noting: one highly ranked comment accepts the efficiency implication only “if true,” noting that, if the numbers hold, the work would be orders of magnitude cheaper than traditional academic research. Nobody in the visible thread disputes that the clip is genuine, and the original poster did not reply in the portion of the thread that could be checked. What the thread disputes is interpretation: whether the figures are honest rounding, strategic vagueness, or something in between. That is a healthier argument than the one the clip might have started, and it is the one the numbers actually support.

Why the “unpublished” line matters#

The sentence that will linger is not the $10 million figure. It is the aside at the end of the clip: the total includes much more discovery than OpenAI has published. If taken seriously, it means the public record of the company’s mathematics programme — Navier-Stokes plus the three further problems covered in our October 27 coverage of OpenAI’s science announcements — is a partial catalogue, and the rest is sitting somewhere inside the company, unverified and unseen.

That is both exciting and, for the mathematicians asked to take these claims seriously, frustrating. A proof that has not been published cannot be checked, and a discovery that has not been named cannot be credited, corrected, or built on. Altman’s framing treats the backlog as evidence of momentum: the machine for producing results is working faster than the pipeline for releasing them. The sceptical reading is simpler: an unpublished discovery is, for everyone outside the building, indistinguishable from no discovery at all. Both readings fit the same 32 seconds, which is why the thread is still going.

What to watch#

Three things will settle how this clip ages. First, whether OpenAI publishes more of the backlog Altman gestured at — and whether independent mathematicians can verify it when it appears. Second, whether the Navier-Stokes proof itself survives the scrutiny that follows any claimed solution to a Millennium Prize Problem; formalisation in Lean helps, but the mathematical community’s verdict is the one that counts. Third, whether anyone outside OpenAI can put a credible, independent number on the cost per proof, so the next price-tag clip can be checked rather than merely debated.

Until then, the clip stands as a useful artefact of a strange moment: the head of the world’s most watched AI company, in a pub, pricing out the conquest of pure mathematics by the tens of millions — and a thread of strangers, within hours, doing the only audit available to them, in public, line by line.

Sources: the original post by u/ilkamoi on r/singularity; the full interview, “Sam Altman’s case for making compute cheap,” on YouTube, with a full transcript on Cheeky Pint’s Substack. The cover photograph is by the Office of the Prime Minister of Japan, via Wikimedia Commons (CC BY 4.0); the editorial illustrations are AI-generated.