Google 多智能体配 Gemini 3.7 Flash 攻克七道数学难题

Google 官方博客介绍其 Antigravity 编码环境中的 Teamwork 多智能体编排框架，智能体可自主提出、批判并迭代彼此的工作，连续运行数小时甚至数天。配合 Gemini 3.7 Flash，该系统在 FOCS、JMLR 等学术领域解决了 7 个开放性数学与理论计算机科学难题，包括在 Lean 中验证 Knuth 循环猜想，引发社区广泛关注。

2026-09-01 ~ 2026-09-03 · 3 条相关

• Google Antigravity Teamwork 配合 Gemini 3.7 Flash 解开 7 个数学开放问题 — rseroter · 2026-09-01
• Gemini 3.7 Flash多智能体攻克7项数学难题并自研CPU模拟器 — Dr_Singularity · 2026-09-01
• 曝 Google：Gemini 求解 FOCS/JMLR 七道公开难题并获 Lean 验证 — burny_tech · 2026-09-03