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