AI百科 Claude完成费马大定理形式化证明:1300万行代码改变数学研究 Anthropic宣布Claude完成费马大定理首个端到端机器检查形式化证明:自主运行11天,生成约1300万行Lean代码,Apache 2.0开放。 yjcdj 2026年9月7日 28 0