Axiom多智能体协作开发数学证明
先了解这件事
AI 综述
2026年10月28日，Testing Catalog在X上介绍Axiom研究：多个智能体模拟大型软件团队分工，接取开放任务并基于彼此代码继续开发。团队构建共享系统，以应对智能体编写代码速度快于Lean校验速度的问题。报道还称，智能体在开发过程中发现原已发表证明中的34个值得注意的问题。
报道时间线
10月28日
- Axiom 多智能体协作开发数学证明并发现 34 个问题
Axiom 的研究让多个智能体像大型软件团队一样分工，接取开放任务并基于彼此代码继续开发。团队构建共享系统加速 Lean 检查，以应对智能体写代码速度超过 Lean 校验速度的问题。智能体在过程中还发现原已发表证明中的 34 个值得注意的问题。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。