Unverified50% confidenceEventExact time
OpenAI声称其内部模型解决了纳维-斯托克斯方程相关的千禧年大奖难题，并给出了解析证明与Lean形式化证明
1
Sources
50%
Confidence
Medium-term (~90 days)
Relevance
9/11/2026
First Seen
Valid until: 12/10/2026
Sources
Related Entities
Related Claims
Unverified学术团队做的是有平滑外力的欧拉方程结果，而OpenAI声称做出了无外力的欧拉方程结果以及有平滑外力的纳维-斯托克斯方程结果70% similarUnverified2025年9月8日，纽约大学数学家特里斯坦·巴克马斯特公开了三项借助AI完成的流体方程研究成果，并在一份四页声明中披露OpenAI研究人员告诉他其内部模型生成了纳维–斯托克斯方程带光滑外力的有限时间爆破证明69% similarUnverified怀尔斯1993年提交费马大定理证明后被发现存在一处关键漏洞，涉及欧拉系统归纳步骤的隐含假设64% similarUnverified怀尔斯与学生Taylor花费近一年时间，通过转化为Iwasawa理论框架最终完成证明60% similarPartially Verified纳维-斯托克斯方程的存在性与光滑性问题是克雷数学研究所2000年设立的七大千禧年难题之一,每题悬赏100万美元60% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/896196API
curl https://kongchang.com/api/v1/knowledge/claims/896196MCP
get_claim(id=896196)