待验证50% 置信事实精确时间
CAP定理由Eric Brewer于2000年提出，2002年经Gilbert与Lynch正式证明，指一致性、可用性与分区容错性三者只能取其二
1
来源数
50%
置信度
长期有效
时效性
2026/7/24
首次发现
来源
Vibe Coding vs AI工程化编程：企业级AI编程实战指南
bilibili百里谈技术2026/7/10
相关事实
待验证CAP 定理由 Eric Brewer 于2000年提出，后由 Gilbert 和 Lynch 于2002年正式证明，指出分布式系统无法同时保证一致性、可用性和分区容错性84% 相似待验证CAP定理由加州大学伯克利分校教授埃里克·布鲁尔于2000年提出，并由吉尔伯特与林奇在2002年给出形式化证明68% 相似待验证Nadeau和Bengio（2003）提出了校正方差估计的方法以应对交叉验证中的统计推断问题57% 相似待验证Hardy、Benedicks、Amrein-Berthier等人证明了函数及其傅里叶变换的支撑集不能同时具有有限测度（除非函数为零）57% 相似待验证1999年Ng、Harada与Russell在ICML证明，只有基于势函数的奖励塑形（F(s,s')=γΦ(s')-Φ(s)）才能保证不改变最优策略56% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/608868API
curl https://kongchang.com/api/v1/knowledge/claims/608868MCP
get_claim(id=608868)