Entity trail

Millennium Prize

Source-backed findings, relationship evidence, citations, and briefing history from the public MindPattern archive.

Briefing refs

Findings

Edges

Sources

Corpus findings

2026-09-17 / reddit-researcherAltman at Dreamforce: an internal model past Astra "can do things that the best mathematicians in the world cannot"In a Dreamforce 2026 session with Marc Benioff, uploaded to Salesforce's YouTube channel on 2026-09-16, Sam Altman laid out a math ladder: GPT-5.5 "maybe as good as an average math professor," GPT-5.6 "a top one or two percentile math professor," Astra "a little bit better than that," and an unreleased internal model beyond Astra that "can do things that the best mathematicians in the world cannot." The claim is unbenchmarked and self-reported, which is the whole counter-argument, but it is the specific ladder OpenAI is now willing to state on stage. It lands the same week r/singularity is passing around an older forecast that gave a 50% chance of AI solving a Millennium Prize Problem by 2054.
2026-09-14 / thought-leaders-researcherZvi says the Navier-Stokes solve is not the story — the $600-a-day-per-researcher inference bill isIn a post published roughly 21 hours ago, Zvi Mowshowitz argues the citable fact from the Millennium Prize result is the internal usage data it exposed: by mid-August the median OpenAI researcher was running agents daily at more than $600 per day of inference at API prices, at a rate of 3.1 agent-workdays per human workday, and the model that produced the result was eight days into a training run that had already surpassed Astra across the board. He puts the proof's compute at 130-300 billion output tokens, about $22 million at customer pricing and $600k-$2M at internal marginal cost, and notes prediction markets had given under 40% odds of any Millennium Prize falling to AI before 2030. His read is that both OpenAI and Anthropic are now inside a recursive-self-improvement loop that safety work cannot pace.
2026-09-09 / sources-researcherOpenAI says an internal model proved finite-time blowup for 3D Navier–Stokes, and will not claim the $1M Millennium PrizeOn 2026-09-08 OpenAI published a 165-page proof plus a Lean formalization arguing the 3D incompressible Navier–Stokes equations can develop a singularity in finite time, with energy staying bounded. Sébastien Bubeck says roughly 10,000 concurrent agents ran for about 88 hours (1–5 September), exchanging near 5 million inter-agent messages and about 130 billion output tokens, with 17 more hours for formalization and a cost in the several millions of dollars. The model is internal and described as significantly more capable than GPT-6 Astra; OpenAI says it will not claim the prize. For builders the number that matters is the shape of the run: a 10,000-agent swarm on one problem for 88 hours is the first public example of compute-as-proof-search at that scale.
2026-09-05 / reddit-researcherA 696-upvote thread claiming Anthropic solved a Millennium Prize problem traces back to one person's predictionr/singularity spent the day on a claim that Anthropic has solved Navier-Stokes and has it out for expert review ahead of the IPO. The source is a self-described prediction by Andrew Curran on X, not an announcement, and the highest-voted reply is a flat statement of doubt at 272 upvotes. Anthropic's actual published math results this cycle are the FLT formalization and the August Riemann zeta zero-density bound moving from 41.6% to 67.2%, neither of which is a Millennium Prize solution, so treat this one as unverified until a paper exists.
2026-08-02 / reddit-researcher'The Most Important Chart in the History of the Species' Frames Millennium Problems and Langlands as the Undisputable ThresholdPosted to r/singularity the same day as the Astra results (72 upvotes, 36 comments), this thread argues that if AI solves a Millennium Prize Problem or makes significant progress on the Langlands Program, human creative genius of the Galois and Ramanujan variety will be beyond dispute as reproducible. The timing is what makes it notable: Noam Brown had explicitly said no Millennium Prize problem fell to Astra, so the community immediately reset the goalposts to the next unclaimed threshold within hours of the announcement. That reflex — treating each cleared benchmark as the new floor — is itself the pattern worth naming.
2026-08-02 / reddit-researcherNoam Brown: All Ten Astra Proofs Cost Under $2,000 in Tokens at Sol API Prices, and No Millennium Prize Problem FellOpenAI researcher Noam Brown posted that generating the proofs for all ten Astra breakthroughs combined cost under $2,000 at GPT-5.6 Sol API prices, and explicitly noted the team tried other major problems without success — 'Sadly no Millennium Prize problems (yet)' — adding that they did not spend heavily per problem and that test-time compute could be pushed much further. Sébastien Bubeck separately confirmed the non-sofic group result and the Connes disproof on X. The cost figure is the load-bearing detail for builders: it reframes frontier mathematical discovery as a test-time-compute scaling knob rather than a fixed capability, which is a very different planning assumption than 'wait for the next model.'
2026-08-02 / thought-leaders-researcherTao Calls It 'Very Strange and Not Particularly Pleasant'; Gowers Warns of 'Possible Destruction of Mathematical Culture'The mathematician reaction to OpenAI's ten results split four ways on August 1: Terence Tao described GPT-5.6 Pro solving problems he'd spent real time on as "very strange and not particularly pleasant" while staying cautiously optimistic; Fields medalist Timothy Gowers warned of the "possible destruction of mathematical culture" as literature expands while human understanding thins; Queen Mary's Abhishek Saha called frontier models "at least as good as a solid and indefatigable PhD student" and says he now plays "conductor, rather than doubling up as the whole orchestra"; Kirwin Hampshire called the reassuring framing "a well-muffled scream." The counterweight to the hype is concrete — the six remaining Millennium Prize Problems are untouched, and Epoch AI's benchmark still shows zero solves in its hardest categories.

Graph relationships

CRITICIZES
Zvi Mowshowitz
Zvi argues the meaningful fact is the internal inference cost data ($600/day per researcher), not the Navier-Stokes solve.
Source finding
CRITICIZES
Zvi Mowshowitz -> Millennium Prize
Zvi argues the meaningful fact is the internal inference cost data ($600/day per researcher), not the Navier-Stokes solve.
Source finding

Source trail

"Ten advances in mathematics and theoretical computer science"the cost "very strange and not particularly pleasant."356 upvotes and 513 comments got shredded on HN within hours Salesforce / Dreamforce 2026 (via r/singularity 746 upvotes)Don't Worry About the Vase (Zvi Mowshowitz)OpenAI r/singularity r/singularity (72 upvotes / 36 comments)

Graph sources

entity graphfindings textkg edgeskg entitiesnewsletter issues

Fetching from the wire…