Unverified50% confidenceFactExact time
OpenAI disclosed that its own models delivered three scientific research results this week, one of which proved a conjecture that has troubled mathematicians for decades and incidentally solved the famous Kakeya conjecture.
1
Sources
50%
Confidence
Short-term (~14 days)
Relevance
11/1/2026
First Seen
Valid until: 11/15/2026
Sources
Related Entities
Related Claims
UnverifiedOn September 8, 2025, New York University mathematician Tristan Buckmaster publicly released three AI-assisted research results on fluid equations, and in a four-page statement disclosed that OpenAI researchers told him their internal model had generated a finite-time blow-up proof for the Navier-Stokes equations with smooth external force.78% similarUnverifiedOpenAI claims its internal model has solved the Millennium Prize problem related to the Navier-Stokes equations, providing both an analytical proof and a Lean formal proof.74% similarUnverifiedOpenAI's mathematics research touches on the quasi-Riemann hypothesis, the Hodge conjecture, and the BSD conjecture, and extends Hong Wang's Fields Medal-winning three-dimensional Kakeya set dimension conjecture to four dimensions.73% similarUnverifiedOpenAI announced research progress on difficult problems including the mathematical Kakeya conjecture, the exponential time hypothesis in theoretical computer science, and quantum chromodynamics in physics, with some of the mathematical work formalized using proof assistant tools.72% similarUnverifiedNew York University mathematics professor Tristan Buckmaster and Anthropic employee Levent Alpoge publicly released three results before OpenAI's announcement, including finite-time blow-up for the three-dimensional incompressible Euler equations with a smooth external force.70% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/1124428API
curl https://kongchang.com/api/v1/knowledge/claims/1124428MCP
get_claim(id=1124428)