谷歌 Antigravity 团队公布了一批科学与工程进展，核心是一套多 Agent 协作框架。这套框架被用在三个方向上，各自都有产出。

第一个方向是形式化数学证明。第二个方向是分子结构识别。第三个方向是代码安全重构，具体做法是把代码迁移到 Rust。

三项进展被放在同一份汇总里，共同点是都由多 Agent 协作完成，而不是单点工具。团队把这条路线同时铺到了数学、化学和工程代码三个场景。

对写代码的人来说，Rust 迁移这一项最直接：代码安全重构被列为框架的落地场景之一。