论文研究精选
Claude 用 11 天完成费马大定理的首个完整机器验证证明
原始标题:Formalizing Fermat's Last Theorem
内容摘要
Anthropic 发布首个完整机器验证的费马大定理证明,Claude 在 11 天内基本自主完成,写出 1300 万行 Lean 代码并证明 29,500 个中间定理。
内容分类AI 论文与研究
内容层级精选情报
发布时间(北京时间)
本站收录时间(北京时间)
信息来源Anthropic:Research(发表成果 · 网页)
站内情报编号intel-e6c7f157452b565080e0413b