待验证50% 置信事件精确时间
OpenAI声称其内部模型解决了纳维-斯托克斯方程相关的千禧年大奖难题，并给出了解析证明与Lean形式化证明
1
来源数
50%
置信度
中期 (~90 天)
时效性
2026/9/11
首次发现
有效期至：2026/12/10
来源
涉及实体
相关事实
待验证学术团队做的是有平滑外力的欧拉方程结果，而OpenAI声称做出了无外力的欧拉方程结果以及有平滑外力的纳维-斯托克斯方程结果70% 相似待验证2025年9月8日，纽约大学数学家特里斯坦·巴克马斯特公开了三项借助AI完成的流体方程研究成果，并在一份四页声明中披露OpenAI研究人员告诉他其内部模型生成了纳维–斯托克斯方程带光滑外力的有限时间爆破证明69% 相似待验证怀尔斯1993年提交费马大定理证明后被发现存在一处关键漏洞，涉及欧拉系统归纳步骤的隐含假设64% 相似待验证怀尔斯与学生Taylor花费近一年时间，通过转化为Iwasawa理论框架最终完成证明60% 相似部分验证纳维-斯托克斯方程的存在性与光滑性问题是克雷数学研究所2000年设立的七大千禧年难题之一,每题悬赏100万美元60% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/896196API
curl https://kongchang.com/api/v1/knowledge/claims/896196MCP
get_claim(id=896196)