多智能体"组队"做数学：Station环境在5道题上跑出超越现有文献的新结果

arXiv上最近出现了一项有意思的研究：来自不同模型家族的AI智能体，被放进一个没有中央协调器的开放世界环境Station里，让它们自己挑研究方向、自己跑实验、自己攒出一套共享文献库。结果，在AlphaEvolve给出的12道构造题外加两个补充案例里，有5道题跑出了超越现有数学文献的新结果。

Station到底在做什么

Station的设计核心是去中心化。这里没有指挥塔，也没有统一调度器，每一个智能体都不知道全局任务清单。它们只看到自己面前的研究线索，然后决定是深挖、绕开，还是去验证别人的结论。整个过程更像一群独立研究者在共享白板前各自做研究，而不是流水线。

参与实验的智能体来自不同模型家族，这意味着它们有不同的解题偏好和风格。环境里同时维护着一个可被检索的共享文献库，每个新结论必须可被复现，才能进入下一轮。

跑出了哪些新结果

让人眼前一亮的是具体产出。在12个AlphaEvolve构造题中，Station有5个跑出了人类数学家此前没写出来过的结果。其中包括有限域Kakeya集的新无限族，以及11维空间下604点的亲吻构型——这是组合几何与离散几何里的经典难题。

更值得注意的是，所有对话记录、证明草稿和验证代码都公开了。读者可以自己复盘：是哪个智能体在哪个节点提出了关键思路，又是怎么被验证的。这种可追溯的研究日志，是过去AI解数学题很少公开的环节。

对开发者和研究者的意义

对做AI研究的人来说，这项工作的价值不在于AI又解出一道题，而在于它把多智能体协作的可复现流程摆在了台面上。从选题、假设、实验到同行验证，整条链路第一次以公开日志的形式呈现。

对企业里做AI Agent落地的团队来说，这种模式提供了一种思路：当任务目标模糊、需要长链条探索时，把多个不同取向的模型放进同一个开放环境，可能比单一大模型反复调prompt更有效。

中文用户可以关注什么

对国内关注AI的读者来说，这件事有三个值得跟踪的点：一是Station环境本身是否会开源工具链，让更多人复现；二是不同模型家族之间的协作机制，这是当前国产模型生态里讨论较少的一块；三是这种开放世界加共享文献的设计，能不能迁移到代码生成、科学实验等场景。

研究本身也留了一个问题：这些新结果是真"新"，还是搜索盲区里的"补漏"？后续如果能有数学社区独立验证和讨论，会比单纯看新闻更有说服力。