Demis Hassabis 转发 /teamwork Gemini 4 拿下开放挑战新成果

Demis Hassabis 转发的这条消息，核心是谷歌 Antigravity 平台里的 /teamwork 多智能体功能搭配 Gemini 4 系列模型，在数学、工程类开放挑战拿到了突破性结果，这套多智能体协作能力现在已经向研究人员开放使用。/teamwork 本质就是让多个 Gemini 4 智能体分工配合、互相校验、持续迭代，不再是单个模型独立做题，所以才能啃下之前很难完成的长周期形式化证明难题，这次的成果包含了 Courtade–Kumar 猜想完整 Lean4 形式化证明、Weil 猜想大规模自主形式化工作，还有 9×9 围棋引擎快速训练出高 Elo 等级分，这些任务都需要长时间分步推理、大量代码编写和反复自查，单模型很难稳定完成，现在开放给科研人员之后，大家可以直接调用这套多智能体协作模式去攻坚数学猜想、复杂系统验证这类前沿课题。

/teamwork 和 Gemini 4 核心成果清单

• 数学猜想证明：完成 Courtade–Kumar 猜想完整 Lean4 形式化证明，产出 5000 万行形式化代码，Gemini 4 自主找到广义猜想反例，推导新的下界条件，扩展到非平衡函数场景
• 经典猜想形式化：自主完成 180 万行 Weil 猜想形式化内容，全程由多智能体分工推进，人工干预很少
• 博弈模型训练：在 8 天以内训练出 9×9 围棋引擎，Elo 分达到 1885
• 可用模型范围：Gemini 4 Argon、Gemini 4 Carbon、Gemini 4 Hydrogen 都支持 /teamwork 模式
• 开放对象：面向科研人员，部署在 Google Antigravity 平台，和 /boost 等能力配套使用

/teamwork 多智能体运行步骤

1. 研究者输入目标问题，比如数学猜想、系统验证任务，不需要提前拆分任务
2. /teamwork 自动调度多个 Gemini 4 智能体，自动划分子任务，分配不同角色
3. 智能体分头推理、写形式化代码、做数值验证，互相交叉检查对方结论
4. 发现错误、漏洞时自动回退重推，持续迭代修正，直到整体证明通过校验
5. 输出完整可验证的 Lean4 代码或者项目成果，留存全部推理记录方便复盘

/teamwork 和普通单模型调用的差别

【相关 FAQ】

问题 1：/teamwork 搭配 Gemini 4 的开放挑战成果主要是哪些方向？

回答 1：/teamwork 搭配 Gemini 4 在开放挑战里的成果集中在形式化数学证明，包含 Courtade–Kumar 猜想、Weil 猜想的 Lean4 形式化工作，还有围棋博弈引擎快速训练，主打高难度、长推理周期的科研任务。

问题 2：谁可以使用 Antigravity 里的 /teamwork 和 Gemini 4 这套能力？

回答 2：目前 /teamwork 和 Gemini 4 的这套能力面向科研人员开放，在 Google Antigravity 平台内提供，和平台里 /boost 等其他能力一起使用。

问题 3：/teamwork 是不是一个独立大模型？

回答 3：/teamwork 不是独立大模型，它是 Antigravity 平台的多智能体调度功能，底层依靠 Gemini 4 Argon、Carbon、Hydrogen 模型来完成推理和证明工作。

问题 4：Gemini 4 的 /teamwork 模式做形式化证明有什么优势？

回答 4：/teamwork 模式可以让多个 Gemini 4 智能体拆分证明步骤、互相校验逻辑，遇到错误自动回溯调整，能完成千万行级别 Lean4 形式化代码的自主构建，远超单模型的长证明稳定性。

【参考资料】

[2026-11-14]（Google opens Antigravity /teamwork to researchers with Gemini 4-driven results across math and engineering）AIsa Studio

[2026-11-11]（Gemini 4 Carbon 全球全量开放，4 周、650 万行数学证明验证 Signal 安全）36 氪

[2026-10-14]（Gemini 4 全球上线）36 氪

【免责声明】

本文内容仅为 AI 资讯整理，相关模型能力、开放范围、任务效果以 Google DeepMind 官方发布为准，不构成科研、商业落地的指导建议。