OpenAI's Millennium Problem Claims: From Rumor to Announcement

Episode 1 · Rumors claim GPT-6 cracks Navier-Stokes, credibility doubtful (2026-09-05, 2 posts)

Unverified rumors circulating on X suggest GPT-6 may have cracked or made progress on the Navier-Stokes problem, with one commentator estimating a 30% chance OpenAI already solved it, though the claims' credibility is widely doubted.

• Blogger pegs 30% odds OpenAI already solved Navier-Stokes, 50% partial progress — scaling01 · 2026-09-05
• Rumor claims GPT-6 will solve Navier-Stokes, but no source behind it — teortaxesTex · 2026-09-06

Episode 2 · OpenAI Claims 10,000 Agents Solved Navier-Stokes in 88 Hours (2026-09-09, 13 posts)

OpenAI claims an in-training internal model (reportedly stronger than the commercial GPT-6 Astra, per @r0ck3t23) used 10,000 cooperating AI agents over 88 hours to close two key bounds of the Navier-Stokes existence and smoothness problem, with frontier-evaluation-grade safety monitoring and isolation throughout. The paper is open on OpenAI's site with Lean formal verification per @AGI Hunt; Quanta Magazine reports the agents found "singularities" in the equation, potentially marking a major shift in mathematical research. Ben Goertzel estimates $22M in compute (@AGI Hunt says millions—both figures circulate). This is the first large-scale AI assault on a top-tier math problem, but currently rests on OpenAI's claims alone. Two Minute Papers has published a video explainer.

Confirmed

• Around Sept 8, OpenAI said the internal model solved part of the Navier-Stokes proof in 88 hours with 10,000 agents, claiming step-change gains on many benchmarks; the paper is open on its site.
• Per @AGI Hunt, the proof carries Lean formal verification; compute cost in the millions of dollars—equivalent to a brilliant person working 100 years nonstop.
• Historical context: Leray proved weak solutions in 1934; smoothness stayed open 90 years; the Clay Mathematics Institute listed it in 2000 as one of seven Millennium Prize Problems worth $1M each. Navier-Stokes governs airflow over wings, blood flow, weather and oceans.
• @bengoertzel assesses OpenAI spent $22M of compute.

Timeline

• Per @haider1: RL training reportedly restarted Aug 28; on Sept 1 the model was tasked with a Millennium problem—only 4 days into training; a better checkpoint a day or two later produced the Navier-Stokes solution before initial training even finished.

Unconfirmed

• The internal model's capabilities, gap versus commercial models, and whether the proof survives peer review and earns the Clay prize all rest on OpenAI's claims pending independent verification; @AlexTensor relayed it as unverified "sci-fi news" predating the paper's release.
• Per @eyishazyer, discussion shifted within hours from math to credit-attribution disputes, with no settled conclusions.

Why it matters

• @kacoef notes the news shares theoretical underpinnings with the ZrTe₅ quantum experiment, suggesting reusable AI math capability across frontier sciences.
• @robleclerc, after a Grok review, finds the result "unsurprising as a math endpoint": Córdoba–Martínez–Zoroa had established the scale-by-scale blow-up plus smooth forcing program, and prior work (e.g., Alpög) paved the way—AI succeeded standing on giants' shoulders rather than creating from nothing.

• Grok on AI cracking Navier-Stokes: not surprising, AI stood on giants' shoulders — robleclerc · 2026-09-09
• OpenAI's Navier-Stokes run used a model just 4 days into training, still unfinished — haider1 · 2026-09-09
• OpenAI's new model reportedly went from RL restart to Navier–Stokes solution in two weeks — haider1 · 2026-09-10
• OpenAI's 10,000 parallel agents crack the 90-year Navier-Stokes smoothness problem in 88 hours — r0ck3t23 · 2026-09-10
• Report: OpenAI internal model claims to crack 200-year-old Navier-Stokes problem — AlexTensor · 2026-09-10
• OpenAI internal model solves Navier-Stokes in 88 hours using ~10,000 coordinating agents — TheMoonMidas · 2026-09-10
• Report: OpenAI's 10,000 Agents Closed Navier-Stokes in 88 Hours, Verified in Lean — r0ck3t23 · 2026-09-10
• OpenAI Publishes a Navier-Stokes Solution, Teaming Humans with AI on a Millennium Prize Problem — Two Minute Papers · 2026-09-10
• OpenAI's Navier-Stokes proof push and ZrTe5 quantum limit experiments meet at electron hydrodynamics — kacoef · 2026-09-10
• Goertzel on OpenAI's Navier-Stokes solution: $22M compute for a $1M prize — bengoertzel · 2026-09-10
• OpenAI ran 10,000 agents for 88 hours to prove Navier-Stokes — and it cost millions — AGI Hunt · 2026-09-10
• OpenAI Internal Model Ran 10K Agents for 88 Hours, Claims Partial Navier-Stokes Proof — eyishazyer · 2026-09-11
• 10,000 OpenAI agents crack Navier-Stokes, resolving a Millennium Prize Problem — fortnow · 2026-09-11

Episode 3 · Existence Proof Effect: Rumor of Solvability Drove OpenAI's Navier-Stokes Attempt (2026-09-09, 3 posts)

Commentators argue OpenAI only attempted the Navier-Stokes problem after hearing rumors it was solvable, likening it to the four-minute mile effect—once feasibility is known, breakthroughs follow, and AI will accelerate this pattern.

• 'Mere rumors an idea works' now suffice for AI to crack open problems — toptickcrypto · 2026-09-09
• Navier-Stokes drama: existence proofs are enough, and AI will accelerate replication — paraschopra · 2026-09-09
• OpenAI reportedly attempted Navier-Stokes only after hearing a rumor it was solvable — Jeande_d · 2026-09-10

Episode 4 · Rumors: OpenAI Nears Hodge Conjecture Verification, Races Anthropic on BSD (2026-09-10, 19 posts)

On September 10, an unverified anonymous claim spread widely on X: OpenAI is very close to verifying a proof of the Hodge conjecture, and either OpenAI or Anthropic may also be nearing a solution to the Birch–Swinnerton-Dyer conjecture. Both the Hodge and BSD conjectures are among the Clay Mathematics Institute's seven Millennium Prize Problems, each carrying a $1 million prize and having puzzled mathematicians for decades. If true, it would mean AI has achieved a historic breakthrough on foundational pure mathematics problems.

Confirmed

• The spread of the rumor itself is real: on September 10, multiple users including @kimmonismus, @DrSingularity, and @zephyrz9 shared or compiled the same source, and @basedjensen reposted synthwavedd's related post
• @DrSingularity summarized the status of the seven problems in their post: only the Poincaré conjecture has been proven, by Perelman
• Several posters (e.g., @zephyrz9) explicitly acknowledged the claims are unverified

Unconfirmed

• The source of the claim that "OpenAI is close to verifying a proof of the Hodge conjecture" is unknown; it is an anonymous leak with no official OpenAI statement or independent mathematician corroboration
• The claim that "OpenAI or Anthropic is close to solving the BSD conjecture" likewise has no corroboration, and even which company is involved is unclear
• @DrSingularity's statement that "Navier–Stokes has already been solved by OpenAI" is also unverified, with no prior reliable reporting on it

Why it matters

• The Hodge and BSD conjectures are core problems in algebraic geometry and number theory; if AI helps crack them, it would be a landmark event for AI-assisted mathematical research and could trigger a repricing of AI's research capabilities
• The rumor itself reflects how sensitive markets and communities are to the "AI solves math problems" narrative; @zephyrz9 noted that if true, three Millennium problems could fall within a month, so beware of claims getting amplified as they spread
• Until official or verifiable sources emerge, this rumor should be treated as pure hype

• Rumors claim OpenAI may have solved the Hodge conjecture — Dr_Singularity · 2026-09-10
• Rumour: OpenAI close to verifying Hodge Conjecture; a Millennium Problem could fall monthly — zephyr_z9 · 2026-09-10
• Rumors swirl that OpenAI is close to verifying a proof of the Hodge conjecture — kimmonismus · 2026-09-10
• Rumors swirl OpenAI near verifying Hodge conjecture proof, more to come — kimmonismus · 2026-09-10
• Rumor: OpenAI close to verifying Hodge Conjecture, third Millennium Problem may fall — basedjensen · 2026-09-10
• Rumors swirl that OpenAI nears verified proof of the Hodge conjecture — josh_wills · 2026-09-10
• Rumors claim leading AI labs solved Hodge and BSD conjectures, two more Millennium Problems — Dr_Singularity · 2026-09-10
• Rumors: OpenAI Near Verifying Hodge Conjecture, Another Millennium Problem Progressing — kimmonismus · 2026-09-10
• Hodge Conjecture Claimedly Solved, Fueling Talk of AI Cracking Millennium Problems — shyamalanadkat · 2026-09-11
• OpenAI tells NYT it made 'substantial progress' on a Millennium Prize problem amid Hodge Conjecture rumors — thesaraharminta · 2026-09-11
• Rumored model Bel scores ~50% on OpenAI's math set after weeks of post-training — adonis_singh · 2026-09-11
• Rumors Say OpenAI's Internal Model Cracks Hodge and BSD; Bel Benchmark Near 50% — adonis_singh · 2026-09-11
• Rumors Swirl: OpenAI Near Verifying Hodge Conjecture Proof, BSD May Be Next — TheGoldenLeaper · 2026-09-11
• Rumored Millennium Prize breakthroughs spark debate on academia's future in AI era — begusgasper · 2026-09-11
• Rumour: OpenAI Close to Verifying Hodge Conjecture, OpenAI or Anthropic Near on BSD — soumitrashukla9 · 2026-09-11
• Rumour: OpenAI near verifying Hodge Conjecture, three Millennium Problems could fall in a month — josh_wills · 2026-09-11
• Report: OpenAI near verifying Hodge conjecture, racing Anthropic on BSD — 新智元 · 2026-09-11
• OpenAI's Rumored Internal Model 'Bel' Could Be the Most Hyped Release Ever — imadade · 2026-09-11
• Rumors Swirl OpenAI Nears a Hodge Conjecture Proof Days After Claiming Navier-Stokes, Racing Anthropic on BSD — 创业邦 · 2026-09-11

Episode 5 · OpenAI Claims Navier-Stokes Solved, Substantial Progress on Second Millennium Prize Problem (2026-09-10, 13 posts)

According to The New York Times, OpenAI said in a Wednesday evening statement that it has completed a proof of the existence and smoothness problem for the Navier-Stokes equations, and that since finishing it has made substantial progress on another Millennium Prize Problem, "deliberating how to share these results appropriately." This marks the second time in a short period that OpenAI has come close to one of the Clay Mathematics Institute's bounty problems, drawing intense attention from both the mathematics and AI communities.

Confirmed

• In interviews with The New York Times and in its statement, OpenAI said it has completed the Navier-Stokes proof and made substantial progress on another Millennium Problem, but has not disclosed which one.
• The Navier-Stokes work is connected to NYU mathematician Tristan Buckmaster and his collaborators.
• Each of the seven Millennium Problems carries a $1 million prize.

Not Yet Confirmed

• OpenAI has not revealed which other Millennium Problem it has progressed on.
• The Navier-Stokes proof itself has not gone through full public peer review, so its mathematical correctness remains to be confirmed.
• According to reports relayed by @basedjensen, after Buckmaster and collaborators made major progress in August, OpenAI announced the answer in less than a week; outsiders (as @socoolandawesome noted) have raised questions about attribution of the Levent/Buckmaster-related work and academic process, and the specific details of the dispute remain to be verified.

Why It Matters

• The Millennium Prize Problems are among the hardest problems in mathematics; an AI lab claiming to crack them could reshape both mathematical research and how AI capabilities are evaluated. @DrSingularity accordingly predicts at least 3 Millennium Problems may be solved in succession.
• If the practice of preempting collaborators' results is confirmed, it will spark debate over academic credit allocation and the conduct norms of AI labs.

• OpenAI claims Navier-Stokes breakthrough, says another Millennium Prize problem near — basedjensen · 2026-09-10
• OpenAI says it has made substantial progress on another Millennium Prize problem — ilkamoi · 2026-09-11
• OpenAI Near Solving Another Millennium Prize Problem Amid Codex Usage Controversy — socoolandawesome · 2026-09-11
• OpenAI Claims Navier-Stokes Solved, Substantial Progress on Another Millennium Problem — Dr_Singularity · 2026-09-11
• OpenAI Claims It Solved the Navier–Stokes Millennium Problem, Progress on Another — Dr_Singularity · 2026-09-11
• After Navier-Stokes, researchers report substantial progress on another Millennium Prize problem — soumitrashukla9 · 2026-09-11
• Report: OpenAI Confirms Substantial Progress on Hodge Conjecture Within Five Days — AI寒武纪 · 2026-09-11
• If AI can crack Millennium Prize problems, it can mitigate AI risk too — robleclerc · 2026-09-11
• OpenAI confirms progress on second Millennium Prize problem, sparking RSI debate — AndyMasley · 2026-09-11
• NYT: OpenAI Claims Substantial Progress on a Second Millennium Prize Problem — rohanpaul_ai · 2026-09-11
• OpenAI beats NYU mathematician to Navier-Stokes proof, says it's made progress on a second Millennium Problem — rohanpaul_ai · 2026-09-11
• PDE Mathematicians Joke-Beg OpenAI to Solve Another Millennium Problem Next — jasondeanlee · 2026-09-11
• ChatGPT predicted in May that Navier-Stokes would be the next Millennium problem solved — Alert_Cookie_633 · 2026-09-11

Episode 6 · Report: OpenAI's Internal Model Tackles Riemann and P vs NP (2026-09-11, 3 posts)

According to reports circulating on X, OpenAI is using an internal model—reportedly the one behind a Navier–Stokes proof—to attack the Riemann Hypothesis and P vs NP, though details remain unverified.

• OpenAI reportedly aims its new internal model at Riemann and P vs NP — zephyr_z9 · 2026-09-11
• Report: OpenAI's internal model is attempting the Riemann hypothesis and P vs NP — Neurogence · 2026-09-11
• OpenAI reportedly using internal model behind Navier–Stokes proof to attack Riemann Hypothesis and P vs NP — TheMoonMidas · 2026-09-11