**谷歌利用多智能体系统验证复杂数学证明，复现纳维 - 斯托克斯方程爆破猜想**

_谷歌利用多个专业 AI 智能体打造 Teamwork 系统，成功验证多项复杂数学证明_

> 谷歌扩展其 Antigravity 多智能体系统，推出 Teamwork 系统，利用由 Gemini 驱动的专业智能体并行协作与独立验证机制，成功解决了多项长期悬而未决的数学难题。该系统不仅形式化证明了韦伊猜想和三维纳维 - 斯托克斯方程有限时间爆破问题，还复现了库尔塔德 - 库马尔猜想。此外，该技术已应用于分子化学结构识别及软件系统重构，谷歌正通过 Antigravity 向学术界开放此系统。

**来源信息**
- **来源**：IT之家（RSS）
- **分类**：ai-models
- **发布时间**：2026-11-14 14:53（北京时间）
- **原文**：[打开原文](https://www.ithome.com/1/027/140.htm)