Google 扩展 Antigravity，推出 Teamwork 多智能体系统用于数学证明验证与软件优化

Google 宣布扩展 Antigravity，推出由多个 Gemini 专业智能体组成的 Teamwork 系统，用于复杂数学证明验证和软件性能优化。其 Teamwork-LEAP 系统通过约 2.88 万次子智能体调用、生成约 180 万行 Lean 代码，完成韦伊猜想相关成果的形式化，并以独立质疑者和审查者检查智能体结果。