待验证50% 置信事件精确时间
克雷数学研究所近日发布了一则关于纳维-斯托克斯方程的公告
1
来源数
50%
置信度
短期 (~14 天)
时效性
2026/9/12
首次发现
有效期至：2026/9/26
来源
涉及实体
相关事实
待验证2025年9月8日，纽约大学数学家特里斯坦·巴克马斯特公开了三项借助AI完成的流体方程研究成果，并在一份四页声明中披露OpenAI研究人员告诉他其内部模型生成了纳维–斯托克斯方程带光滑外力的有限时间爆破证明65% 相似部分验证纳维-斯托克斯方程的存在性与光滑性问题是克雷数学研究所2000年设立的七大千禧年难题之一,每题悬赏100万美元64% 相似待验证2023年陶哲伦等顶级数学家已开始使用Lean来形式化重要定理63% 相似待验证2019年Griffin、Ono、Rolen和Zagier发表工作将黎曼猜想与Jensen多项式的双曲性联系起来，证明对足够大的阶数与黎曼ξ函数相关的Jensen多项式具备双曲性62% 相似待验证OpenAI发布了一项与Navier-Stokes方程相关的研究成果，其中包含了一份Lean 4形式化证明60% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/917189API
curl https://kongchang.com/api/v1/knowledge/claims/917189MCP
get_claim(id=917189)