Unverified50% confidenceFactExact time
工作量证明（Proof of Work）概念最早在1997年由密码学家Adam Back提出的Hashcash中得到系统应用
1
Sources
50%
Confidence
Long-term
Relevance
7/16/2026
First Seen
Sources
Related Claims
UnverifiedThe computer-assisted proof of the four-color theorem was first published by Kenneth Appel and Wolfgang Haken in 1976, requiring computer verification of 1,936 irreducible configurations, and is the first important theorem proof in the history of mathematics to essentially depend on a computer61% similarUnverified怀尔斯1993年提交费马大定理证明后被发现存在一处关键漏洞，涉及欧拉系统归纳步骤的隐含假设60% similarUnverifiedThe Curry–Howard correspondence reveals the structural correspondence in which propositions correspond to types, proofs correspond to programs, and proof normalization corresponds to program execution, and was gradually discovered between 1934 and 196959% similarUnverified怀尔斯1993年提交费马大定理证明后被发现存在关键漏洞，花费近一年时间才完成修补57% similarUnverified面向切面编程（AOP）由 Gregor Kiczales 等人于1997年在施乐帕克研究中心提出，核心是将横切关注点从主业务逻辑中分离56% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/532503API
curl https://kongchang.com/api/v1/knowledge/claims/532503MCP
get_claim(id=532503)