谷歌Teamwork系统形式化验证韦伊猜想

事件综述根据 1 篇报道整理，11月14日更新

谷歌宣布扩展其Antigravity多智能体系统，由Gemini驱动的专业智能体组成Teamwork，称已对韦伊猜想完成形式化证明，并称同时完成了三维纳维-斯托克斯方程有限时间爆破问题、库尔塔德-库马尔猜想的形式化验证。据谷歌介绍，韦伊猜想的证明通过约2.88万次子智能体调用生成约180万行Lean代码。 上述结果均为谷歌单方面公布，尚未见独立复现或同行评审确认。 谷歌同时通过Antigravity向用户开放Teamwork系统及迭代式编程工作流/boost，并计划向1万名学术研究人员提供为期6个月的最高使用额度免费访问权限。

综述由模型根据报道生成，细节以各篇原文为准。