Unverified50% confidenceFactExact time
将一份针对未解猜想的复杂证明完整形式化仍是一项耗时数月乃至数年的工程
1
Sources
50%
Confidence
Long-term
Relevance
7/16/2026
First Seen
Sources
Related Claims
Unverified业界普遍承认，可解释性工具距离成为可靠的部署前审计标准仍有相当长的路要走64% similarUnverifiedThe most time-consuming part of the project is not the creation itself, but the repeated revisions during the testing phase.63% similarUnverifiedSome of the core problems reportedly had no substantive progress for at least ten years, with certain problems stagnating for even longer.62% similarUnverified形式化一个数学定理通常比书写传统证明耗时5-10倍61% similarUnverified数学家在特殊图类（如平面图、无爪图）上取得了循环双覆盖猜想的部分进展，一般情形至今悬而未决60% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/526129API
curl https://kongchang.com/api/v1/knowledge/claims/526129MCP
get_claim(id=526129)