Gemini 3.7 Flash 解出 7 个未解数学难题：多智能体科学的信号

一句话结论

Gemini 3.7 Flash 在 Google Antigravity 的 Teamwork 多智能体框架下解出了包括 Knuth 循环猜想在内的 7 个开放数学/理论计算机问题——无论个别结果最终如何被学界复核，这标志着「多智能体协作做科学」从玩具走向可报告成果的阶段。

三个关键点

1. 多智能体 > 单体

7 个开放问题靠的不是单模型，而是多 Agent 分工（探索/验证/交叉复核）——组织方式开始比参数更重要，这会重塑「AI for Science」的方法论。

2. 工程补位

Antigravity 还完成「从零构建 CPU 模拟器」并合并进业界库——这类「交付物级」输出比基准数字更接近真实生产力。

3. 需要复核的提醒

数学成果需要独立验证才能进入定理库——报道用「Solved」要打折听，但趋势不用打折。

对你的判断

• 科研团队：多 Agent 架构值得在文献综述、猜想验证类任务上试点。
• 普通读者：把事件读成「科学 Agent 可行」的信号，而非「AI 替代数学家」的结论。