简报

谷歌 Teamwork 多智能体系统完成韦伊猜想等形式化证明，向 1 万名学者免费开放

谷歌宣布扩展 Antigravity 多智能体系统，由 Gemini 驱动的专业智能体组成 Teamwork，已对韦伊猜想完成形式化证明，通过约 2.88 万次子智能体调用生成约 180 万行 Lean 代码。

入选理由：谷歌用多智能体系统完成韦伊猜想等形式化证明，并开放学术免费额度，研究者可据此判断形式化工具在自身领域的可用性。