IT之家：谷歌扩展 Antigravity 多智能体系统，开放 Teamwork 与 /boost 工作流

谷歌宣布扩展 Antigravity 多智能体系统，推出由 Gemini 驱动的 Teamwork，用于验证复杂数学证明并提升软件性能。该系统已完成韦伊猜想的形式化证明，并复现一项与三维 Navier-Stokes 方程有关的证明。谷歌还将通过 Antigravity 向用户开放 Teamwork 和 /boost 工作流，并向 1 万名学术研究人员提供 6 个月免费访问。