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

Lean 4因Mathlib项目（大规模形式化数学库）的发展而受到广泛关注，已形式化了代数几何、数论等领域的大量定理

来源数

50%

置信度

中期 (~90 天)

时效性

2026/10/9

首次发现

有效期至：2027/1/7

来源

Stable URI

https://kongchang.com/claim/990078

API

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

MCP

get_claim(id=990078)