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

Anthropic已将完整证明公开在GitHub上，并在其Science Blog中介绍了整个过程

1

来源数

50%

置信度

中期 (~90 天)

时效性

2026/9/13

首次发现

有效期至：2026/12/12

来源

Claude完成费马大定理首个形式化证明：1300万行Lean代码创纪录

涉及实体

Anthropiccompany GitHubproduct

相关事实

待验证Anthropic公开了一项名为Jacobian-Lens（雅可比透镜）的可解释性研究工具66% 相似待验证Anthropic强调此次成果的意义在于实现了'经过验证的仓库级研究工件'（verified repo-scale research artifacts）这一概念66% 相似待验证作者已开放论文、代码（GitHub）和模型（Hugging Face）61% 相似待验证文章中关于Genie Ontology的信息主要来自Databricks的官方宣传与网络研讨会预告，具体效果仍有待实际部署案例验证60% 相似待验证该消息来源于普林斯顿大学AI实验室的一位研究员披露59% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/919131

API

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

MCP

get_claim(id=919131)