待验证50% 置信发布精确时间
OpenAI发布了一项与Navier-Stokes方程相关的研究成果，其中包含了一份Lean 4形式化证明
1
来源数
50%
置信度
中期 (~90 天)
时效性
2026/9/11
首次发现
有效期至：2026/12/10
来源
涉及实体
相关事实
待验证OpenAI声称其内部模型解决了纳维-斯托克斯方程相关的千禧年大奖难题，并给出了解析证明与Lean形式化证明75% 相似待验证学术团队做的是有平滑外力的欧拉方程结果，而OpenAI声称做出了无外力的欧拉方程结果以及有平滑外力的纳维-斯托克斯方程结果70% 相似待验证2025年9月8日，纽约大学数学家特里斯坦·巴克马斯特公开了三项借助AI完成的流体方程研究成果，并在一份四页声明中披露OpenAI研究人员告诉他其内部模型生成了纳维–斯托克斯方程带光滑外力的有限时间爆破证明70% 相似待验证纽约大学数学教授Tristan Buckmaster与Anthropic员工Levent Alpoge在OpenAI发布声明前公开了三个结果，包括三维不可压缩欧拉方程的有限时间爆破（带平滑外力）59% 相似待验证数学家查尔斯·费弗曼曾列出证明纳维-斯托克斯难题的四种路径（A、B、C、D），路径A指对任意初始条件且无外力情况都存在满足方程的光滑解57% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/896840API
curl https://kongchang.com/api/v1/knowledge/claims/896840MCP
get_claim(id=896840)