AI资讯
Anthropic：Claude 仅用 11 天完成费马大定理首个完整计算机验证证明
IT之家 9 月 5 日消息，Anthropic 于当地时间 9 月 4 日宣布，其 AI 模型 Claude 在基本自主运行 11 天后，完成了对费马大定理（FLT）的首个端到端、经过计算机检查的形式化证明。 Anthropic 表示，这项工作并非重新发现费马大定理的数学证明，而是将已有数学证明转换为 Lean 证明助手可以逐步验证的形式。 IT之家注：Lean 是一种用于编写和验证形式化数学证明的证明助手，能够通过计算机检查证…
发布于 2026年9月4日 约 3 分钟阅读 更新于 2026年9月5日
<!-- ainav-news-source:34e8b0af01eb42f1 -->
本页仅保留 IT之家 AI 公开 RSS/Atom 订阅源中的标题和摘要，不抓取、不转载发布方全文。机器翻译可能存在遗漏或歧义，重要信息请以原文为准。
资讯摘要
IT之家 9 月 5 日消息，Anthropic 于当地时间 9 月 4 日宣布，其 AI 模型 Claude 在基本自主运行 11 天后，完成了对费马大定理（FLT）的首个端到端、经过计算机检查的形式化证明。 Anthropic 表示，这项工作并非重新发现费马大定理的数学证明，而是将已有数学证明转换为 Lean 证明助手可以逐步验证的形式。 IT之家注：Lean 是一种用于编写和验证形式化数学证明的证明助手，能够通过计算机检查证…
原文来源
- 发布方：IT之家 AI
- 原文标题：Anthropic：Claude 仅用 11 天完成费马大定理首个完整计算机验证证明
- 原文链接：查看 IT之家 AI 发布的完整原文
- 内容范围：订阅源标题与摘要
摘要说明： 本页仅翻译公开订阅源中的标题和摘要，不转载发布方全文。机器翻译可能存在遗漏、歧义或专有名词偏差；请通过文中的原文链接核对完整信息。