待验证50% 置信事实精确时间

历史上Navier-Stokes问题多次出现已被解决的声明,但绝大多数最终都被发现存在关键错误

1

来源数

50%

置信度

长期有效

时效性

2026/9/11

首次发现

来源

AI挑战Navier-Stokes方程:形式化证明能否攻克千禧难题

涉及实体

Navier-Stokes方程concept

相关事实

待验证据称部分核心问题已至少十年没有实质性进展，个别问题的停滞时间甚至更为久远65% 相似待验证纯路由方案存在局限：路由器本身会犯错，且跨领域问题依然需要广泛检索63% 相似待验证长链推理中每步的微小误差会被累积放大，学术界称为复合错误（compounding errors）问题62% 相似待验证引导过程若缺乏严格的数学保证，可能引入难以察觉的系统性误差61% 相似待验证LIME由2016年Ribeiro等人提出，其重大缺陷是解释的不稳定性，对同一样本多次运行可能得到不同解释59% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/903817

API

curl https://kongchang.com/api/v1/knowledge/claims/903817

MCP

get_claim(id=903817)