行业动态
www.nature.com ·
Anthropic AI 11 天形式化费马大定理证明
据 Nature 报道，Anthropic 的 AI 在 11 天内完成了费马大定理证明的形式化工作，展示了 AI 在数学推理方面的潜力。
AI推荐理由 Nature 报道 Anthropic AI 在 11 天内形式化证明费马大定理，来源权威，信息具体，但摘要简短，缺乏细节，需谨慎对待。
85
正文
Anthropic AI 在短短 11 天内“形式化”证明了费马大定理 原文地址: https://www.nature.com/articles/d41586-026-02822-9
查看原文（中文正文为 AI 翻译）
Anthropic AI ‘formalizes’ proof of Fermat’s last theorem in just 11 days 原文地址: https://www.nature.com/articles/d41586-026-02822-9