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

据称部分核心问题已至少十年没有实质性进展，个别问题的停滞时间甚至更为久远

1

来源数

50%

置信度

长期有效

时效性

2026/8/6

首次发现

来源

OpenAI发布Astra模型：AI首次攻克十大数学难题意味着什么

相关事实

待验证将一份针对未解猜想的复杂证明完整形式化仍是一项耗时数月乃至数年的工程62% 相似待验证高风险技术领域的治理框架成熟通常滞后于技术突破十至二十年，且往往由重大事故加速推动62% 相似待验证简单堆砌上下文长度并不能线性提升长任务性能，因存在中间丢失问题58% 相似待验证ERP实施的成功率长期徘徊在30%-50%，失败的主要原因往往不是技术问题，而是业务流程梳理不到位、组织变革阻力大、基础数据质量差等管理层面的挑战58% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/699054

API

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

MCP

get_claim(id=699054)