谷歌扩展Antigravity，Teamwork多智能体集群完成韦伊猜想等数学命题形式化证明

谷歌对 Antigravity 多智能体系统进行扩容升级，推出由 Gemini 驱动的 Teamwork 智能体协作体系，目标用于攻克长期未解的数学难题、校验复杂形式化证明，同时优化软件系统。

Teamwork-LEAP 已经完成韦伊猜想的形式化证明。韦伊猜想是有限域多项式方程解数领域的经典结论，1974 年由德利涅完成证明；这套系统经过约 2.88 万次子智能体调用，产出 180 万行 Lean 代码，完成全部形式化工作。除此之外，系统还复现了三维纳维-斯托克斯方程有限时间爆破问题的形式化证明，完成库尔塔德-库马尔猜想的验证。

它的核心机制是多智能体并行分工，同时设置独立的审查智能体对结论提出质疑与核验，规避单一大模型长推理链路里的失误。各个专业子智能体仅能拿到任务必需的文件与工具，校验环节独立于原始推理流程，不采信主智能体自带的推理记录。

这套多智能体框架不止用于数学证明：在分子化学方向，30 个专业智能体搭配物理仿真模拟器，依靠核磁共振NMR数据反推分子结构，复杂分子基准上 Top-1 准确率 95%，Top-3 准确率 100%。在系统工程方向，智能体团队把谷歌 libgav1 AV1 解码器从 C++ 迁移重写为 Rust，产出约 17 万行代码，全量测试下输出和原版保持一致。

谷歌依托 Antigravity 开放 Teamwork，同步上线 /boost 迭代编程工作流；将向一万名学术研究者开放为期6个月、额度上限的免费访问资格。