testingcatalog· @testingcatalog · X·· 2 小时前AI 评分
Axiom 多智能体协作开发数学证明并发现 34 个问题
Axiom 的研究让多个智能体像大型软件团队一样分工，接取开放任务并基于彼此代码继续开发。团队构建共享系统加速 Lean 检查，以应对智能体写代码速度超过 Lean 校验速度的问题。智能体在过程中还发现原已发表证明中的 34 个值得注意的问题。
这些智能体像大型软件团队一样分工，领取未完成的任务，并在彼此的代码基础上继续构建。
据 Axiom 表示，最困难的部分是让它们保持同步，因为它们编写代码的速度超过了 Lean 的检查速度，因此团队构建了一套共享系统来加快这些检查。
在这一过程中，这些智能体还发现了原始已发表证明中的 34 个值得注意的问题。
来看看 👀
axiommath.ai/research/the-en…
来源：testingcatalog · x.com