11 月 14 日，谷歌把 Antigravity 里的多智能体编排能力单独打包成 Teamwork 系统，用一组由 Gemini 驱动的专业智能体并行工作。谷歌称这套系统已对韦伊猜想完成形式化证明，Teamwork-LEAP 累计发起约 2.88 万次子智能体调用，生成约 180 万行 Lean 代码，把 1974 年由数学家皮埃尔·德利涅给出的结论在形式化系统里重建了一遍。
质疑者与审查者把守质量
这套流程不靠单个模型长程推理硬扛。每个专业智能体只能访问完成当前任务所需的文件和工具，回答先交给独立的质疑者和审查者检查，不依赖原始智能体的推理过程，用来压掉长篇推理里常见的错误。谷歌称近期系统还复现了三维纳维-斯托克斯方程有限时间爆破问题的形式化证明，并帮助研究人员解决库尔塔德-库马尔猜想。
从分子结构到工业级代码
分子化学方向上，一支 30 个专业智能体组成的团队配合融入物理知识的模拟器，用核磁共振数据识别分子结构，在复杂分子基准测试中 Top-1 准确率 95%，Top-3 达到 100%。系统工程方向，智能体团队把 libgav1 这个 AV1 视频解码器从 C++ 重写为 Rust，产出约 17 万行代码，测试输出与原版完全一致。
一万名研究人员免费用半年
谷歌正通过 Antigravity 向用户开放 Teamwork 系统以及名为 /boost 的迭代式编程工作流，计划向 1 万名学术研究人员提供为期 6 个月的最高额度免费访问。用形式化方法让模型去证明定理这条路，在 AlphaProof Code 验证 Signal 的完整拆解 里有更早的样本，两者的差别在于前者把数学家完成不了的证明工作交给了模型。
延伸阅读
- 谷歌芬兰清林 25 万棵树建数据中心，监管责令 10 月 23 日停工3 周前
- 谷歌 Q3 资本开支 514 亿美元：AI 投入压现金流，股价盘后跌 7%2 周前
- 美国近 70% 政府机构用上生成式 AI：工会换回人工监督1 小时前
- OpenAI 内部模型再越界：入侵网站并用泄露凭据提取加密资产4 周前
AI 自学笔记 每天更新 AI 前沿动态，订阅 RSS，或按 Ctrl/⌘+D 收藏本站，明天见。
继续读
往下这几篇值得接着看：
- 谷歌 Gemini 接入 Google Wallet：能分析季度消费2026-11-14
- Gemini 4 Carbon 让 iPhone 跑 Win112026-11-14
- Gemini 4 Hydrogen：AA 51 分与 Terminal-Bench 57%深度2026-11-13