谷歌Teamwork系统：多智能体验证韦伊猜想
谷歌扩展 Antigravity 多智能体系统，推出 Teamwork 系统，可完成数学证明、分子识别、代码重写等任务，近期已开放给学术研究人员免费使用。#谷歌AI新进展#
谷歌正在把 
Antigravity 多智能体系统往前推一步。11 月 14 日，该公司宣布用多个 Gemini 模型驱动的专业智能体组成 Teamwork 系统，并称这套系统能处理“长期悬而未决的数学难题”、对复杂数学证明做验证，还能优化各类软件系统的性能。
在数学领域，谷歌已经对韦伊猜想（Weil conjectures）完成了形式化证明。这组结论讲的是有限域上多项式方程解的数量，1974 年由数学家皮埃尔 · 德利涅（Pierre Deligne）首次证明。具体执行的是 Teamwork-LEAP 系统，子智能体调用约 2.88 万次，累计产出约 180 万行 Lean 代码，把相关数学成果形式化了下来。
谷歌同时提到，该系统最近还形式化复现了三维纳维-斯托克斯方程（Navier–Stokes equations）有限时间爆破问题的一项证明，并协助研究人员解决了库尔塔德-库马尔猜想（Courtade–Kumar conjecture）。
技术路线上，Teamwork 靠的是多个智能体并行开工，再让独立系统对它们给出的解答提出质疑、进行验证。这样做的目的，是压低单个 AI 模型在长链条推理中出错的可能。每个专业智能体只能看到完成任务所需的文件和工具，结果随后交给独立的质疑者和审查者检查，检查过程不依赖原智能体的推理路径。
数学之外，谷歌把这套方法用到了分子化学。一个由 30 个专业智能体组成的团队，搭配融入了物理知识的模拟器，借助核磁共振（NMR）数据识别分子结构。在复杂分子基准测试里，该系统的 Top-1 准确率为 95%，Top-3 准确率达到 100%。
系统工程方面也有落地案例。谷歌称，其智能体团队把自家的 libgav1 AV1 视频解码器从 C++ 重写为 Rust，最终生成约 17 万行代码；在一套覆盖面很广的测试中，输出结果与原始版本完全一致。
目前，Teamwork 系统以及一个名为 /boost 的迭代式编程工作流正通过 Antigravity 向用户开放。谷歌还计划向 1 万名学术研究人员提供为期 6 个月的最高使用额度免费访问权限。
