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

四色定理已于1976年借助计算机辅助证明得到验证

2

来源数

60%

置信度

长期有效

时效性

2026/7/16

首次发现

来源

GPT-5.6一小时证明50年数学猜想，AI独立攻克科学难题

相关事实

待验证四色定理的计算机辅助证明完成于1976年，需要计算机穷举1936种情形80% 相似待验证四色定理于1976年由 Appel 与 Haken 证明，将地图着色问题归约为约1936种构型的逐一计算机验证78% 相似待验证四色定理在1852年提出后直到1976年才借助计算机完成证明77% 相似已验证四色定理的计算机辅助证明由Kenneth Appel和Wolfgang Haken于1976年首次发表，需要计算机检验1936种不可约构型，是数学史上第一个本质依赖计算机的重要定理证明77% 相似待验证四色定理是数学史上第一个主要依赖计算机验证的重大定理76% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/532252

API

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

MCP

get_claim(id=532252)