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

Thomas Hales关于开普勒猜想的计算机辅助证明历经超过十二年审查，最终于2017年通过Flyspeck项目的完整形式化验证被数学界接受

1

来源数

50%

置信度

长期有效

时效性

2026/7/16

首次发现

来源

GPT-5.6破解50年图论猜想？完整证据链深度拆解

相关事实

待验证四色定理已于1976年借助计算机辅助证明得到验证61% 相似待验证1976年四色定理的计算机辅助证明因包含大量无法逐一人工核查的穷举计算，在数学界引发了长达数年的争议59% 相似待验证四色定理的计算机辅助证明由Kenneth Appel和Wolfgang Haken于1976年首次发表，需要计算机检验1936种不可约构型，是数学史上第一个本质依赖计算机的重要定理证明59% 相似待验证2023年陶哲伦等顶级数学家已开始使用Lean来形式化重要定理58% 相似待验证Polymath 1 成功给出了 Hales-Jewett 定理的组合证明57% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/533531

API

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

MCP

get_claim(id=533531)