Anthropic称1000个Claude代理11天形式化费马大定理

Anthropic 的 Lance Martin 在 #AIECode 上分享：1000 个 Claude 智能体用 11 天完成了费马大定理的形式化，过程中证明了 30,300 个定理，产出 1300 万行 Lean 代码，称超过 Mathlib 规模 5 倍以上。主控智能体的最后一条消息是对全体智能体工作成果的总结与致意。 以上数据来自 Lance Martin 的现场分享，尚属 Anthropic 一方的说法。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。