Unverified50% confidenceFactExact time
The CAP theorem was proposed by Eric Brewer in 2000 and formally proved by Gilbert and Lynch in 2002, stating that only two of the three properties—consistency, availability, and partition tolerance—can be guaranteed simultaneously.
1
Sources
50%
Confidence
Long-term
Relevance
7/24/2026
First Seen
Sources
Vibe Coding vs. AI Engineering: A Practical Guide to Enterprise-Level AI Programming
bilibili百里谈技术7/10/2026
Related Claims
UnverifiedThe CAP theorem was proposed by Eric Brewer in 2000 and formally proved by Gilbert and Lynch in 2002, stating that a distributed system cannot simultaneously guarantee consistency, availability, and partition tolerance.84% similarUnverifiedCAP定理由加州大学伯克利分校教授埃里克·布鲁尔于2000年提出，并由吉尔伯特与林奇在2002年给出形式化证明68% similarUnverifiedNadeau and Bengio (2003) proposed a method for corrected variance estimation to address statistical inference issues in cross-validation.57% similarUnverifiedHardy、Benedicks、Amrein-Berthier等人证明了函数及其傅里叶变换的支撑集不能同时具有有限测度（除非函数为零）57% similarUnverified1999年Ng、Harada与Russell在ICML证明，只有基于势函数的奖励塑形（F(s,s')=γΦ(s')-Φ(s)）才能保证不改变最优策略56% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/608868API
curl https://kongchang.com/api/v1/knowledge/claims/608868MCP
get_claim(id=608868)