探索结果要交给什么检查
Google Research 11 月 13 日公布 Antigravity /teamwork 的科学与工程应用进展。其设计把并行探索与独立验证配对：数学问题可交给 Lean 4 检查，软件候选方案使用未修改的测试，实验问题则接入物理模拟。不同角色只获取所需文件和工具，审查者从新的上下文检查结果，减少沿用生成者错误假设的机会。
一个化学案例组织了 30 个专门智能体，结合核磁共振数据与物理谱图模拟器推断分子结构。Google 报告其复杂分子基准的首选精确匹配率为 95%、前三候选为 100%。这是官方披露的特定基准结果，不能直接推成任意分子或真实实验的成功率。
工具开放范围仍有差别
博文说明，外部用户已能在 Antigravity 使用 /teamwork、/boost 等工具，但形式化证明和更多专门工作流仍待后续更新。Google 另开放申请，计划让 1 万名学术研究人员获得六个月高配额访问，不等于所有用户自动取得资格。
对开发团队，这次更新更值得借鉴的是验证器的选择：先定义能检验结果的测试、约束或测量，再增加智能体数量。没有可靠验收标准时，更多探索也可能只是扩大待审查的输出。