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

将一份针对未解猜想的复杂证明完整形式化仍是一项耗时数月乃至数年的工程

1

来源数

50%

置信度

长期有效

时效性

2026/7/16

首次发现

来源

GPT-5.6用64子智能体证明图论猜想？距定论还差几步

相关事实

待验证业界普遍承认，可解释性工具距离成为可靠的部署前审计标准仍有相当长的路要走64% 相似待验证该项目最耗时的部分不是创作本身，而是测试环节中的反复修改63% 相似待验证据称部分核心问题已至少十年没有实质性进展，个别问题的停滞时间甚至更为久远62% 相似待验证形式化一个数学定理通常比书写传统证明耗时5-10倍61% 相似待验证数学家在特殊图类（如平面图、无爪图）上取得了循环双覆盖猜想的部分进展，一般情形至今悬而未决60% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/526129

API

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

MCP

get_claim(id=526129)