AI Agent完成菲尔兹奖成果形式化

📂 精选资讯 · 📰 量子位

AI Agent在一周内独立完成了菲尔兹奖成果的形式化验证，涉及20万行代码。这是历史上最大规模的单一目的Lean形式化项目，展示了AI在数学证明领域的潜力。

阅读原文