谷歌Teamwork多智能体系统：2.88万次调用形式化韦伊猜想
IT之家 11 月 14 日消息，谷歌宣布进一步扩展旗下 Antigravity 多智能体系统，利用多个由 Gemini 模型驱动的专业智能体组成 Teamwork 系统，号称可解决“长期悬而未决的数学难题”、“验证复杂数学证明”，并优化各种软件系统性能。 例如，谷歌已成功对韦伊猜想（Weil conjectures）
谷歌11月14日宣布，旗下
Antigravity多智能体系统迎来进一步扩展。新组建的Teamwork系统由多个Gemini模型驱动的专业智能体构成，谷歌称其能攻克“长期悬而未决的数学难题”、验证复杂数学证明，还可优化各类软件系统的性能。
韦伊猜想的形式化证明就是其中一个成果。这组结论关乎有限域上多项式方程解的数量，数学家皮埃尔 · 德利涅（Pierre Deligne）早在1974年就给出了证明。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万行代码，在一套覆盖面很广的测试里，输出结果与原始版本完全一致。
目前谷歌正通过Antigravity向用户开放Teamwork系统，一同开放的还有名为/boost的迭代式编程工作流。该公司计划为1万名学术研究人员提供6个月最高使用额度的免费访问权限。
