AI 智能体 Devin 一周攻克三项数学未解难题

AI 智能体 Devin 在一周内接连攻克三项数学未解难题——驳斥了悬而未决约 40 年的 Graffiti 猜想 154、证明了 Graffiti 猜想 39 和 40、并驳斥了开放约 20 年的 Brandt 正则超图问题,被评论者称为 AI 数学能力进展最快的时刻之一。

• Graffiti 猜想是由同名计算机程序在上世纪自动生成、多年未被证伪或证明的一批图论猜想,Devin 一次性处理了其中三条,同时涵盖「驳斥」和「证明」两种不同结果类型。
• Brandt 正则超图问题悬置约 20 年,是组合数学领域公认的硬骨头,被攻克说明 Devin 的能力并未局限在图论这一个细分方向,而是能跨子领域迁移。
• 评论者 Rohan Paul 指出,这类「答案可验证」的数学问题正在以推理速度被 AI 解决——换句话说,凡是能被自动核验对错的猜想,都可能正在批量进入 AI 的射程。
• Devin 原本定位是面向软件工程场景的编码智能体,如今被证明能跨界啃下数学猜想,说明通用推理智能体的能力边界正在快速外扩,而非局限在写代码这一单一任务。
• 这提示数学猜想的验证工作有可能从「依赖人类灵光一现」转向「AI 批量试错加自动验证」的工业化模式,值得持续关注 AI 智能体在硬核学术研究里的渗透速度。

本内容由 AI 生成，仅供参考，请注意甄别