Google发布Antigravity多智能体工具解决数学难题

Google Research 联合学术机构利用 Gemini 4 Argon、Carbon、Hydrogen 及 Antigravity /teamwork 多智能体工作流，在信息论、形式验证等领域取得突破。团队成功证明 Courtade–Kumar 猜想并生成 5000 万行 Lean 4 代码，同时解决了自适应数据分析、量子计算及布尔矩阵乘法等多项长期开放问题。 目前，相关工具已作为 Agentic tools 在 Antigravity 的 /teamwork（与 /boost 等其他代理并列）中面向研究人员和开发者提供，以便应用于各自的工作。

AI 根据报道生成 · 22 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。