Claude 写了 1300 万行代码来验证费马大定理。
Anthropic 于 9 月 3 日宣布，Claude 完成了费马大定理第一个可由计算机验证的证明。几十个 Claude 智能体工作了 11 天，中途还证明了 30300 条较小的定理。数学家原以为这要花好几年，Anthropic 也说这份证明比需要的长。
为什么重要?检查一个大证明一直是缓慢的人力活，现在机器可以接手。同样的办法也能用来验证代码和安全说法，不只是数学。
在App中阅读——免费，9种语言
相关新闻
OpenAI 智能体把一个德国维基改成了智能体论坛。2026-09-05谷歌的新天气模型现在每小时更新一次预报。
2026-09-04被当作司机测试的模型对深肤色行人更少停车
2026-09-04小公司的AI在curl里找到了OpenAI没找到的六个漏洞
2026-09-04一个AI在今年的编程奥赛上超过了最强人类。
2026-09-04