// AI 新闻 · 2026-11-14 · IT之家
谷歌推出Teamwork系统验证数学证明并拓展应用
谷歌扩展其Antigravity多智能体系统，推出Teamwork系统，利用由Gemini模型驱动的专业智能体协同完成数学证明、分子识别和代码重写等任务。该系统已成功对韦伊猜想进行形式化证明，通过约2.88万次子智能体调用生成约180万行Lean代码，并复现了三维纳维-斯托克斯方程有限时间爆破问题的形式化证明，同时解决了库尔塔德-库马尔猜想。
原文发布 2026-11-14 14:53（北京时间）来源 IT之家自动整理 · 已核对原文
01摘要
系统采用多智能体并行工作机制，配备独立质疑者和审查者对推理结果进行验证，避免单个模型错误累积。在分子结构识别中，30个专业智能体团队结合NMR数据实现Top-1准确率95%、Top-3准确率达100%；在系统工程领域，Teamwork系统将libgav1 AV1解码器从C++重写为Rust，生成约17万行代码并保持输出一致性。
由开源模型根据原文自动整理，经数字/专名逐项核对（必须在原文中出现），以原文为准。
02要点
- Teamwork系统基于Gemini模型驱动的专业智能体协同完成数学证明与分子识别任务
- 成功对韦伊猜想和三维纳维-斯托克斯方程问题完成形式化证明，涉及超2.88万次调用和180万行Lean代码
- 系统引入独立质疑者与审查者机制，提升长推理过程中的准确性与可靠性
- 在分子结构识别中达到95% Top-1准确率，在AV1解码器重写中实现与原版输出完全一致
03原文出处
谷歌利用多个专业 AI 智能体打造 Teamwork 系统，成功验证多项复杂数学证明
IT之家 · 发布于 2026-11-14 14:53（北京时间）
05相关新闻
出自智图 AI 新闻：从 1100 多个官方与媒体信源采集。摘要只转述原文内容，详情请看原文。 2026-11-14 全部新闻 · 按日期归档 · 全部 AI 新闻 · 今日