Anthropic尝试形式化费马大定理
Anthropic发布研究，探索借助AI与形式化证明系统表达和验证费马大定理。该项目展示了大模型辅助数学证明、定理形式化及自动化推理的潜力。
事件进展（2 篇报道）
-
2026-09-05 02:42Hacker News Formalizing Fermat's Last Theorem
-
2026-09-05 10:17GitHub 热门新项目 anthropics/fermats-last-theorem
Anthropic发布研究，探索借助AI与形式化证明系统表达和验证费马大定理。该项目展示了大模型辅助数学证明、定理形式化及自动化推理的潜力。