一群 AI 智能体联手把韦伊猜想给证了，写了约 180 万行代码。 谷歌扩展 Antigravity 多智能体系统，推出由多个 Gemini 驱动的专业智能体组成的 Teamwork 系统，用于验证复杂数学证明和优化软件系统。Teamwork-LEAP 系统通过约 2.88 万次子智能体调用，累计生成约 180 万行 Lean 代码，完成韦伊猜想的形式化证明，这是关于有限域上多项式方程解的数量的重要数学结论，1974 年由 Pierre Deligne 证明。 它还复现了三维纳维-斯托克斯...

🌐 链接: https://x.com/taiyanghere/status/2121513706550865953
🏷️ 分组: X｜太阳（taiyanghere）
🕒 时间: 2026-11-14 16:00:58
X (formerly Twitter)
太阳 (@taiyanghere) on X
一群 AI 智能体联手把韦伊猜想给证了，写了约 180 万行代码。

谷歌扩展 Antigravity 多智能体系统，推出由多个 Gemini 驱动的专业智能体组成的 Teamwork 系统，用于验证复杂数学证明和优化软件系统。Teamwork-LEAP 系统通过约 2.88 万次子智能体调用，累计生成约 180 万行 Lean 代码，完成韦伊猜想的形式化证明，这是关于有限域上多项式方程解…