待验证60% 置信事件精确时间
OpenAI声称其内部模型解决了纳维-斯托克斯方程相关的千禧年大奖难题，并给出了解析证明与Lean形式化证明
2
来源数
60%
置信度
中期 (~90 天)
时效性
2026/9/11
首次发现
有效期至：2026/12/10
来源
涉及实体
相关事实
待验证OpenAI发布了一项与Navier-Stokes方程相关的研究成果，其中包含了一份Lean 4形式化证明75% 相似待验证学术团队做的是有平滑外力的欧拉方程结果，而OpenAI声称做出了无外力的欧拉方程结果以及有平滑外力的纳维-斯托克斯方程结果70% 相似待验证2025年9月8日，纽约大学数学家特里斯坦·巴克马斯特公开了三项借助AI完成的流体方程研究成果，并在一份四页声明中披露OpenAI研究人员告诉他其内部模型生成了纳维–斯托克斯方程带光滑外力的有限时间爆破证明69% 相似待验证OpenAI公布了在数学Kakeya猜想、理论计算机科学的指数时间假说以及物理学量子色动力学等难题上的研究进展，部分数学工作通过证明助手工具形式化。65% 相似待验证OpenAI近期分享了其在Kakeya猜想、指数时间假设（ETH）和量子色动力学（QCD）上的模型结果。65% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/896196API
curl https://kongchang.com/api/v1/knowledge/claims/896196MCP
get_claim(id=896196)