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

Robertson、Seymour、Sanders、Thomas在1997年给出了四色定理的第二个计算机辅助证明

1

来源数

50%

置信度

长期有效

时效性

2026/7/12

首次发现

来源

AI能证明数学猜想吗？GPT-5.6事件真相与大模型能力边界

hackernewshackernews2026/7/10

相关事实

待验证Polymath 1 成功给出了 Hales-Jewett 定理的组合证明65% 相似待验证四色定理已于1976年借助计算机辅助证明得到验证62% 相似待验证CAP定理由加州大学伯克利分校教授埃里克·布鲁尔于2000年提出，并由吉尔伯特与林奇在2002年给出形式化证明62% 相似待验证四色定理的计算机辅助证明由Kenneth Appel和Wolfgang Haken于1976年首次发表，需要计算机检验1936种不可约构型，是数学史上第一个本质依赖计算机的重要定理证明62% 相似待验证在隐式参数重构过程中，Claude发现了一个更简洁的证明——原来的三行证明被压缩为更短的版本59% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/489384

API

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

MCP

get_claim(id=489384)