待验证50% 置信事件精确时间
Buckmaster团队得到的证明在8月下旬通过了Lean的形式化验证
1
来源数
50%
置信度
长期有效
时效性
2026/9/19
首次发现
来源
涉及实体
相关事实
引用此条事实
Stable URI
https://kongchang.com/claim/934056API
curl https://kongchang.com/api/v1/knowledge/claims/934056MCP
get_claim(id=934056)https://kongchang.com/claim/934056curl https://kongchang.com/api/v1/knowledge/claims/934056get_claim(id=934056)