|
Google Research于11月13日介绍Antigravity的/teamwork多智能体工作流，称研究团队已将其用于数学、化学、系统软件和机器学习工程中的开放问题。系统把长期任务拆给不同代理并行探索，再安排独立批评者、审计者或形式化工具检查结果；研究人员负责设定问题、理论或物理约束，并审阅产出。
Google举例称，团队与香港中文大学、南加州大学和卡内基梅隆大学合作，借助Gemini 4及/teamwork证明Courtade–Kumar猜想，并用Lean 4形式化证明；文章还报告了其他数学、化学和软件工程案例。外部研究人员和开发者目前可在Antigravity使用部分工具，Google同时开放申请，计划为1万名学术研究人员提供六个月高使用额度。
这些成果与性能数字均为Google Research在公告中的报告，实际复现与适用范围仍需看论文和具体工作流。来源：Google Research https://www.research.google/blog/advancing-science-engineering-with-antigravitys-teamwork-feature/ |
0