待验证50% 置信事实精确时间
工作量证明（Proof of Work）概念最早在1997年由密码学家Adam Back提出的Hashcash中得到系统应用
1
来源数
50%
置信度
长期有效
时效性
2026/7/16
首次发现
来源
相关事实
待验证四色定理的计算机辅助证明由Kenneth Appel和Wolfgang Haken于1976年首次发表，需要计算机检验1936种不可约构型，是数学史上第一个本质依赖计算机的重要定理证明61% 相似待验证怀尔斯1993年提交费马大定理证明后被发现存在一处关键漏洞，涉及欧拉系统归纳步骤的隐含假设60% 相似待验证Curry-Howard同构揭示了命题对应类型、证明对应程序、证明化简对应程序执行的结构对应，是1934-1969年间逐步发现的59% 相似待验证怀尔斯1993年提交费马大定理证明后被发现存在关键漏洞，花费近一年时间才完成修补57% 相似待验证面向切面编程（AOP）由 Gregor Kiczales 等人于1997年在施乐帕克研究中心提出，核心是将横切关注点从主业务逻辑中分离56% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/532503API
curl https://kongchang.com/api/v1/knowledge/claims/532503MCP
get_claim(id=532503)