Unverified50% confidenceEventExact time
OpenAI'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.
1
Sources
50%
Confidence
Medium-term (~90 days)
Relevance
9/11/2026
First Seen
Valid until: 12/10/2026
Sources
Related Entities
Related Claims
UnverifiedOpenAI announced that approximately 10,000 AI agents spent roughly 88 hours finding a proof related to the Navier-Stokes equations problem.78% similarUnverifiedThe Deep Research analysis report in the article was automatically generated by the system, took approximately 9 minutes, and cited extensive material from OpenAI's official website and academic papers.68% similarUnverifiedThe OpenAI agent arrived at a solution to the Navier-Stokes problem on September 5, approximately 88 hours after the first agents were launched, with Lean formal verification taking an additional 17 hours to complete via GPT-6 Astra.67% similarUnverifiedThe author's AI Agent continuously retried 9 rounds during a single "add 20 questions" operation, consuming approximately 150,000 tokens and ultimately failing.66% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/896283API
curl https://kongchang.com/api/v1/knowledge/claims/896283MCP
get_claim(id=896283)