AI情报2026年9月5日AI情报
文章
Anthropic旗下Claude模型在Lean中完成费马大定理的形式化证明
Anthropic宣布，其Claude AI模型在11天期间基本上自主工作，以形式化费马大定理的证明。该项目产生了使用Lean编程语言对该著名数学定理的首个完整计算机验证证明。
Frontier 编辑部来源: Techmeme
Anthropic宣布，其Claude AI模型在11天期间基本上自主工作，以形式化费马大定理的证明。该项目产生了使用Lean编程语言对该著名数学定理的首个完整计算机验证证明。