谷歌多专业智能体组成 Teamwork 系统完成多项复杂数学证明与形式化验证

谷歌近期扩展了 Antigravity 平台的 teamwork 多智能体系统,由多个 Gemini 模型驱动的专业智能体分工协作,在数学与理论计算机科学