待验证50% 置信事实精确时间
为支撑主证明，这项工作还证明了超过29,000个附属定理
1
来源数
50%
置信度
长期有效
时效性
2026/9/13
首次发现
来源
涉及实体
相关事实
待验证Logic Theorist成功证明了《数学原理》中的38条定理70% 相似待验证应用数学领域的定理证明往往依赖庞大理论体系，一个定理证明可能需要调用数十个前置引理并横跨多个数学分支61% 相似待验证Anthropic宣布数十个Claude智能体借助Proof-2密平台，用11天完成了费马大定理的首个端到端机器可验证证明57% 相似待验证工作量证明（Proof of Work）概念最早在1997年由密码学家Adam Back提出的Hashcash中得到系统应用57% 相似待验证Curry-Howard同构揭示了命题对应类型、证明对应程序、证明化简对应程序执行的结构对应，是1934-1969年间逐步发现的56% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/919125API
curl https://kongchang.com/api/v1/knowledge/claims/919125MCP
get_claim(id=919125)