发生了什么
Google 表示，研究人员和工程团队使用 Gemini 4 模型与 Antigravity 的 /teamwork，攻克开放问题并处理生产任务，并报告了形式化证明、分子结构预测、软件重写和 TPU 内核优化方面的成果。研究人员和开发者今天即可在 Antigravity 中使用 Gemini 4、/teamwork 和 /boost；Google 还开放了申请，向 10,000 名学术研究人员提供其最高使用层级的六个月免费访问权限。
推荐理由
这篇文章介绍了如何在证明、化学和系统工程领域应用并行代理、独立验证和针对具体任务的上下文，并提供了具体成果以及研究人员和开发者的使用方式。