谷歌宣布扩展Antigravity多智能体系统，其Teamwork-LEAP完成韦伊猜想形式化

11月14日，谷歌宣布扩展Antigravity多智能体系统，由多个Gemini模型驱动的专业智能体组成Teamwork系统，称可验证复杂数学证明。Teamwork-LEAP系统以约2.88万次调用、180万行Lean代码完成韦伊猜想形式化。

市场有风险，投资需谨慎。本文为AI基于第三方数据生成，仅供参考，不构成个人投资建议。