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

费马大定理证明项目由哥伦比亚大学助理教授彭天逸主导，AI自主完成了3万多个中间定理，生成约1300万行Lean 4代码，体量达到Mathlib核心库的5倍

来源数

50%

置信度

中期 (~90 天)

时效性

2026/9/7

首次发现

有效期至：2026/12/6

来源

Stable URI

https://kongchang.com/claim/874400

API

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

MCP

get_claim(id=874400)