已验证65% 置信事实精确时间

1976年四色定理的计算机辅助证明因包含大量无法逐一人工核查的穷举计算，在数学界引发了长达数年的争议

3

来源数

65%

置信度

长期有效

时效性

2026/7/15

首次发现

来源

GPT-5.6一小时证明50年图论猜想，AI数学推理迎来里程碑

相关事实

待验证四色定理的计算机辅助证明完成于1976年，需要计算机穷举1936种情形82% 相似待验证四色定理的计算机辅助证明由Kenneth Appel和Wolfgang Haken于1976年首次发表，需要计算机检验1936种不可约构型，是数学史上第一个本质依赖计算机的重要定理证明79% 相似待验证关于计算机辅助证明是否算真正数学证明的哲学争论持续至1990年代才逐渐平息76% 相似待验证机器辅助完成的四色定理证明历经十余年争论才被数学社区广泛接受74% 相似待验证四色定理在1852年提出后直到1976年才借助计算机完成证明73% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/517885

API

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

MCP

get_claim(id=517885)