Verified80% confidenceFactExact time
The CAP theorem was proposed by Eric Brewer in 2000 and formally proven by Seth Gilbert and Nancy Lynch in 2002.
9
Sources
80%
Confidence
Long-term
Relevance
7/9/2026
First Seen
Sources
Understanding the Limits of Vibe Coding: A Practical Guide to AI Engineering-Grade Programming
bilibili图灵学院诸葛老师7/8/2026
Related Claims
Unverified策略梯度定理由Sutton等人在1999年正式提出63% similarUnverifiedThe streaming computation model was formally established by Alon, Matias, and Szegedy in their 1996 paper that won the Gödel Prize.56% similarUnverifiedThe Dunning-Kruger effect was originally proposed by psychologists David Dunning and Justin Kruger in 1999 at Cornell University.52% similarUnverifiedOT 算法由 Ellis 和 Gibbs 于1989年提出，其核心思想是在服务端对并发操作进行数学变换以保证最终一致性51% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/383701API
curl https://kongchang.com/api/v1/knowledge/claims/383701MCP
get_claim(id=383701)