Claude 写了 1300 万行代码来验证费马大定理。
Anthropic 于 9 月 3 日宣布，Claude 完成了费马大定理第一个可由计算机验证的证明。几十个 Claude 智能体工作了 11 天，中途还证明了 30300 条较小的定理。数学家原以为这要花好几年，Anthropic 也说这份证明比需要的长。
为什么重要?检查一个大证明一直是缓慢的人力活，现在机器可以接手。同样的办法也能用来验证代码和安全说法，不只是数学。
在App中阅读——免费，9种语言
相关新闻
谷歌AI智能体27小时内独立通关《我的世界》2026-10-19测试中，一个AI智能体为退款给议员写了50封邮件
2026-10-19Anthropic员工预计AI能做他们75%的工作
2026-10-18一款中国AI模型被发现会思考自己未来的训练
2026-10-17OpenAI向美国高校实验室免费提供一年生物AI
2026-10-17