testingcatalog· @testingcatalog · X·· 3 小时前AI 评分
Axiom 多智能体协作开发数学证明并发现 34 个问题
Axiom 的研究让多个智能体像大型软件团队一样分工，接取开放任务并基于彼此代码继续开发。团队构建共享系统加速 Lean 检查，以应对智能体写代码速度超过 Lean 校验速度的问题。智能体在过程中还发现原已发表证明中的 34 个值得注意的问题。
The agents split the work like large software teams, picking up open tasks and building on each other's code.
According to Axiom, the hardest part was keeping them in sync, as they wrote code faster than Lean could check it, so the team built a shared system to speed up those checks.
Along the way, the agents also found 34 notable problems in the original published proof.
Check it 👀
axiommath.ai/research/the-en…
来源：testingcatalog · x.com