Google 利用 Gemini 4 与 Antigravity /teamwork 解决多项数学与工程难题

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