OpenAI's Costly Navier-Stokes Run Sparks Scooping and Brute-Force Debate

An AI system widely believed to be OpenAI's spent roughly a week and massive compute on a Navier-Stokes-related Millennium Problem. According to Hesamation, the system used an internal model officially described as "significantly stronger than GPT-6 Astra," spawning 10,000 concurrent agents running for 88 hours. Cost estimates range from hundreds of thousands to tens of millions of dollars—all far exceeding the Clay Institute's $1M prize—and a NYT report on NYU mathematician Tristan Buckmaster being scooped ignited a full-blown controversy over cost, brute-force search, and academic norms.

Confirmed

• Bloggers relayed varying figures: mitsuhiko reported 2.7 million messages and 130 billion output tokens (up to $18M depending on pricing); Abhishek Nair's estimate (relayed by multiple accounts) put it at 300 billion tokens, or $20–30M at standard API prices; others mocked the "$15M in tokens for a $1M prize" contrast.
• Hesamation's key parameters: internal model "significantly stronger than GPT-6 Astra," 10,000 concurrent agents over 88 hours.
• Cost estimates vary widely: zephyrz9 estimated $0.5–1M in inference compute (1,500–3,000 GB300 GPUs for about an hour at $4/hour); vykthur estimated $22.5M for a week; others suggested internal subsidies could make real costs multiples of public pricing.
• BetterCallMedhi (relayed by alexverem) accused Sam Altman directly: the claimed "solution" was 10,000 agents on a multi-million-dollar GPU cluster for 88 hours, formalizing a blow-up result in Lean under controlled external forcing—not a full solution of the original problem.
• Kenneth Chang's NYT feature (relayed by calabiandyau) reported that NYU's Tristan Buckmaster and a colleague made progress on a Navier-Stokes-related problem in August, only to be scooped by OpenAI before Labor Day weekend; Buckmaster said he was steamrolled.
• A Reddit thread relayed by kaljakin questioned the "AGI content" of the result, arguing 2.7 million messages and 130 billion tokens suggest brute-force search rather than intelligence. Pedro Domingos marveled that spending $15M to verify one equation's property shows how brute the search was. Ethan Mollick argued that as AI systematically produces science, "no matter how much compute exists now, it likely won't be enough."
• wordgrammer calculated that $1M covers only 10.5 minutes of OpenAI's compute burn, used to rebut Ed Zitron's critique of OpenAI's finances.
• On the "scooping" debate: tylerjohnston questioned whether spending millions to scoop imminent mathematical discoveries is legitimate; gfodor and ctjlewis countered that discoveries carry no "placeholder" rights and this is a highest-stakes competition; ctjlewis further argued AI's disruption of academic norms is welcome. Linahuaa and XFreeze framed it as a rational, high-value move for investors despite reputational damage.

Unconfirmed

• All figures come from community relays and estimates; OpenAI has not published official token usage or costs, and estimates diverge sharply (130B vs 300B tokens; $0.5M vs $30M).
• Whether the result will be certified by the Clay Institute, whether the $1M prize will be awarded, and BetterCallMedhi's characterization (formalizing a blow-up under controlled conditions rather than solving the full problem) all lack primary-source confirmation.

Why it matters

• This is a landmark case of "AI doing science with brute compute": Head-Needleworker849 offered two readings—either the system has undetected deep superintelligence, or mathematics is fundamentally brute-forceable. Domingos, BetterCallMedhi, and Reddit skeptics lean toward the latter.
• The cost-versus-prize gap has fueled debate over frontier AI's burn rate; Abhishek Nair asked pointedly whether such breakthroughs will stall once AI firms stop spending at this scale.
• The NYT report elevated the scooping dispute into a named conflict, putting AI labs' collision with academic norms—credit attribution and community governance—front and center as a new problem of AI-driven scientific discovery.
• vykthur cautioned this may set the going rate for future breakthroughs, making research process and credit attribution urgent issues.

2026-09-09 ~ 2026-09-10 · 26 related posts

• [source] OpenAI burned millions in compute on $1M prize: 10,000 agents, 88 hours, 130B tokens — Hesamation · 2026-09-09
• Navier-Stokes proof burned 300B output tokens, $20-30M at consumer API prices — soumitrashukla9 · 2026-09-09
• 105 hours, 4.9M messages, 300B output tokens: AI proves previously unsolved math problem — zainhas · 2026-09-09
• $1M sounds like a lot — it's just 10.5 minutes of OpenAI's compute spend — wordgrammer · 2026-09-09
• OpenAI Spent $15M in Tokens to Win a $1M Prize — EigenGender · 2026-09-09
• $22.5M of Compute in One Week: The New Price Tag for Math Breakthroughs — vykthur · 2026-09-09
• AI lab's Millennium problem run burned 300B output tokens, $20-30M at consumer prices — Paimaamu · 2026-09-09
• [source] Solving Navier-Stokes cost 130B output tokens — up to $18M depending on model pricing — mitsuhiko · 2026-09-09
• 300B output tokens, $20-30M in compute: Ethan Mollick says AI science will need far more compute — eldonredwards · 2026-09-09
• Blogger: OpenAI 'stealing' the Millennium problem was rational even if it looks bad — Linahuaa · 2026-09-09
• AI Solves a Millennium Prize Problem With ~$20M of Compute in About a Week — Head-Needleworker849 · 2026-09-09
• Estimate: OpenAI burned $500K-$1M in inference compute on a single solution — zephyr_z9 · 2026-09-09
• OpenAI's Millennium Prize problem grab sparks debate: rational investor play or reputation burn — XFreeze · 2026-09-09
• Team spends $15M in compute to win a $1M prize — a questionable ROI — docmilanfar · 2026-09-09
• Spending $15M in compute to chase a $1M prize: AI circles joke about the math — karmicoder · 2026-09-09
• OpenAI Accused of Spending Millions to Scoop Math Discoveries, Sparking Norms Debate — ctjlewis · 2026-09-09
• "No dibs": researcher pushes back on scoop etiquette outrage in high-stakes AI race — ctjlewis · 2026-09-09
• Dev cheers AI disrupting math academia: r/math bans AI threads, "scooping" claims are nonsense — ctjlewis · 2026-09-09
• OpenAI's Navier-Stokes result used 130B tokens — Reddit debate on whether it's just brute force — kaljakin · 2026-09-10
• $15M of compute to verify one equation property shows how brute-force the search was — pmddomingos · 2026-09-10
• OpenAI's Navier-Stokes Proof Reportedly Cost ~$15M and 130B Output Tokens — scaling01 · 2026-09-10
• Scientist blasts OpenAI's $15M brute-force math proof as wasteful compute — Syntetisaattori · 2026-09-10
• Mathematician slams OpenAI's Navier-Stokes claim: 10,000 agents, 88 GPU-hours of "vulgarity" — alex_verem · 2026-09-10
• [source] OpenAI says it's close to another Millennium Prize problem after beating NYU mathematician on Navier-Stokes — calabi_and_yau · 2026-09-10

2 near-duplicate retellings: wordgrammer · ctjlewis