谷歌基于 Gemini 推出 Teamwork 多智能体系统，完成韦伊猜想等形式化证明

导读

谷歌扩展 Antigravity 多智能体系统，推出由多个 Gemini 驱动的专业智能体组成的 Teamwork 系统，用于验证复杂数学证明和优化软件系统。