Unverified50% confidenceEventExact time
On September 6, Buckmaster had two phone calls with two OpenAI researchers including Sébastien Bubeck, and learned that an internal model had completed a blow-up proof for the Navier-Stokes equations with smooth external force, corresponding to options C and D in the official problem statement.
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 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.61% similarUnverifiedTerence Tao commented that the work of the two scientists on the related problem had advanced to the point where it was very likely extendable to solve the Navier-Stokes problem.58% similarUnverifiedOn 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.55% similarUnverified大众排放门最终被西弗吉尼亚大学的一个小型研究团队在真实路况测试中偶然发现54% similarUnverifiedAnthropic announced that dozens of Claude agents, with the help of the Proof-2 platform, completed the first end-to-end machine-verifiable proof of Fermat's Last Theorem in 11 days.53% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/896236API
curl https://kongchang.com/api/v1/knowledge/claims/896236MCP
get_claim(id=896236)