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

开普勒猜想的形式化（Flyspeck项目）于2014年由Thomas Hales团队使用HOL Light和Isabelle完成，耗时约20人年

来源数

50%

置信度

长期有效

时效性

2026/9/7

首次发现

来源

Stable URI

https://kongchang.com/claim/870175

API

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

MCP

get_claim(id=870175)