Unverified50% confidenceFactExact time
After hearing that a research team was close to cracking a Millennium Prize Problem, OpenAI invested a reported tens of millions of dollars and launched about 10,000 agents, completing the solution in about 88 hours.
1
Sources
50%
Confidence
Short-term (~14 days)
Relevance
10/20/2026
First Seen
Valid until: 11/3/2026
Sources
AI Breaks Into Mathematics: OpenAI's Problem-Solving Sparks a Schism in Academia
youtubeThe Verge10/20/2026
Related Entities
Related Claims
VerifiedOpenAI announced that approximately 10,000 AI agents spent roughly 88 hours finding a proof related to the Navier-Stokes equations problem.79% similarUnverifiedAccording to Ladish's account, ten thousand OpenAI agents once collaborated to solve a mathematics problem on the level of a Millennium Prize Problem, something that would have been far out of reach just a year ago.78% similarUnverifiedOpenAI used thousands of agents to produce a proof attempt for the existence and smoothness problem of the Navier-Stokes equations within 88 hours.77% similarUnverifiedOpenAI's Navier-Stokes proof was allegedly completed by an internally unreleased model, running approximately 10,000 AI agents in parallel, taking 88 hours, producing a 166-page manuscript, and releasing a Lean formal verification.77% similarUnverifiedSolving the Navier-Stokes equations one month ago involved approximately 10,000 agents and took 88 hours.76% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/1077331API
curl https://kongchang.com/api/v1/knowledge/claims/1077331MCP
get_claim(id=1077331)