Unverified50% confidenceEventExact time
On 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.
1
Sources
50%
Confidence
Medium-term (~90 days)
Relevance
9/11/2026
First Seen
Valid until: 12/10/2026
Sources
Related Entities
Related Claims
UnverifiedOn August 15, 2026, NYU mathematician Tristan Buckmaster and Levin Alpaçu, who works at Anthropic, jointly completed a proof of finite-time blowup for the Boussinesq equations and the three-dimensional incompressible Euler equations with the addition of a smooth external force.77% 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.74% similarUnverifiedBuckmaster and collaborator Levent Alpoge publicly released three results involving the incompressible porous medium equation, the Boussinesq equations, and the three-dimensional incompressible Euler equations, announcing the construction of finite-time blow-up under smooth external forces, and publicly releasing both the papers and the formal verification code.73% 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.69% similarUnverifiedPerelman published three papers on arXiv in 2002–2003 outlining the proof of the Geometrization Conjecture using Ricci flow and surgery techniques; the verification process took about three years, and the Clay Mathematics Institute did not officially recognize the conjecture as solved until 2010.65% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/896225API
curl https://kongchang.com/api/v1/knowledge/claims/896225MCP
get_claim(id=896225)