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

Thomas Hales团队于2017年完成了开普勒猜想的形式化验证（Flyspeck项目）

1

来源数

50%

置信度

长期有效

时效性

2026/9/11

首次发现

来源

StochBench：首个随机过程Lean形式化证明基准详解

涉及实体

Thomas Halesperson Flyspeck项目concept 开普勒猜想concept

相关事实

待验证Thomas Hales关于开普勒猜想的计算机辅助证明历经超过十二年审查，最终于2017年通过Flyspeck项目的完整形式化验证被数学界接受76% 相似待验证Polymath 1 成功给出了 Hales-Jewett 定理的组合证明50% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/894640

API

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

MCP

get_claim(id=894640)