Vals AI 的 10 个 Claude Sonnet 5.5 智能体攻克了一项 17895 行的数学证明
据 Vals AI 报道，10 个 Claude Sonnet 5.5 智能体完成了一项关于球面上 7 个电子的 Lean 证明，共 17895 行，文章还指出了接下来有望攻克的情形。这一成果展示了多智能体系统处理长形式化证明的能力，这类任务需要在数千步中持续保持正确性。如果智能体群能在这一规模上可靠地完成数学形式化，它们有望把证明验证与数学研究推进到远超单个模型的水平。
报道来源
- Alpha Signal2026-10-27 19:48