[控场AI]
待验证50% 置信事实精确时间

开普勒猜想的形式化由Flyspeck项目在2014年完成

1
来源数
50%
置信度
长期有效
时效性
2026/9/6
首次发现

来源

涉及实体

引用此条事实

Stable URI
https://kongchang.com/claim/865934
API
curl https://kongchang.com/api/v1/knowledge/claims/865934
MCP
get_claim(id=865934)