待验证50% 置信事件精确时间

模性定理已由布勒伊、康拉德、戴蒙德和泰勒在2001年完整证明

1

来源数

50%

置信度

长期有效

时效性

2026/9/7

首次发现

来源

费马大定理形式化：Lean 4如何验证数学史上最难证明

涉及实体

模性定理concept

相关事实

待验证CAP定理由加州大学伯克利分校教授埃里克·布鲁尔于2000年提出，并由吉尔伯特与林奇在2002年给出形式化证明71% 相似待验证CAP定理由Eric Brewer于2000年提出，2002年经Gilbert与Lynch正式证明，指一致性、可用性与分区容错性三者只能取其二64% 相似待验证Robertson、Seymour、Sanders、Thomas在1997年给出了四色定理的第二个计算机辅助证明63% 相似待验证西尔维斯特（1814-1897）与阿瑟·凯莱共同创立了矩阵理论和不变量理论63% 相似待验证数学家科克斯特称凯利的证明为「来自天书的证明」62% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/870177

API

curl https://kongchang.com/api/v1/knowledge/claims/870177

MCP

get_claim(id=870177)