已过期50% 置信事件精确时间
一个AI生成的Navier-Stokes千禧年难题解决方案包含完整论述文档并附带用Lean语言编写的形式化证明
1
来源数
50%
置信度
短期 (~14 天)
时效性
2026/9/11
首次发现
此条事实已过期，仅作历史留存，不再代表当前状态
有效期至：2026/9/25(已过期)
来源
涉及实体
相关事实
待验证一位开发者在Reddit上分享了一份关于贝叶斯推断原理的代码实现，涵盖从贝叶斯定理基础到蒙特卡洛模拟等主题60% 相似待验证The article is based on a systematic AI course by Bilibili creator Datong59% 相似待验证争议焦点是一篇关于纳维-斯托克斯方程求解的研究成果59% 相似待验证OpenAI内部模型据称生成的纳维–斯托克斯爆破证明约100页，若正确并满足克雷数学研究所大奖全部条件，则可能触及一道悬赏100万美元的千禧年难题59% 相似待验证一位开发者在Reddit上分享了idempotent-tools这个解决方案59% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/903816API
curl https://kongchang.com/api/v1/knowledge/claims/903816MCP
get_claim(id=903816)