// AI 新闻 · 2026-11-14 · Google Research Blog
Google 与学术机构联合推进多智能体科研协作
Google 研究团队与多家高校合作，利用 Antigravity 的 /teamwork 多智能体系统，在数学、化学、系统软件和机器学习工程等领域攻克长期未解难题。该系统基于 Gemini 4 系列模型构建，通过多智能体协同完成复杂问题的建模、求解与验证，已在信息论、形式化验证、分子结构发现及内核优化等方面取得进展，并实现多个生产级基础设施改进。
原文发布 2026-11-14 04:47（北京时间）来源 Google Research Blog自动整理 · 已核对原文
01摘要
系统设计解决了语言模型生成不可预测性与长任务中细节丢失两大问题：通过并行探索与专用验证器（如 Lean 4 证明检查器、软件测试套件等）自动筛选有效方案，同时通过任务分片和上下文隔离机制确保各智能体专注特定步骤，避免信息分散。用户可通过自然语言指令动态匹配最优工作流模式，包括分布式编码、迭代求解及长证研究等，相关工具已集成于 Antigravity 平台并逐步向外部用户提供访问权限。
由开源模型根据原文自动整理，经数字/专名逐项核对（必须在原文中出现），以原文为准。
02要点
- Google 与多所高校合作，使用 /teamwork 系统在数学和理论计算机科学领域攻克长期未解难题。
- 系统基于 Gemini 4 模型构建，通过并行探索与专用验证器实现候选方案的自动验证，提升求解可靠性。
- 研究团队利用 Lean 4 形式化验证了信息论中的 Courtade–Kumar 猜想，生成了 5000 万行代码的完整证明。
- 多智能体协作模式支持分布式编码、长证推导等自适应工作流，已集成于 Antigravity 平台并开放给外部用户。
03原文出处
Advancing science & engineering with Antigravity’s /teamwork
Google Research Blog · 发布于 2026-11-14 04:47（北京时间） · 上方为原标题
05相关新闻
出自智图 AI 新闻：从 1100 多个官方与媒体信源采集。摘要只转述原文内容，详情请看原文。 2026-11-14 全部新闻 · 按日期归档 · 全部 AI 新闻 · 今日