我们研究了Station中的自主数学发现,这是一个开放世界的多智能体环境,来自不同模型家族的AI智能体在没有中央协调者或脚本化流程的情况下追求共同的研究目标。智能体自行选择研究方向、开展实验、进行协作,并构建共享的科学文献。在AlphaEvolve目录中的12个构造问题以及两个额外案例研究中,Station在五个问题上获得了相对于先前文献而言的新结果:有限域Kakeya集合的一个新无限族、11维中新的精确604点亲吻构型、离散化Kakeya针问题和符号不确定性问题的新纪录,以及Erdős最小重叠问题的一个大幅改进的下界。智能体还发现了Book Ramsey数的新无限族。重要的是,智能体不仅产生了数值构造,还产生了解释这些构造原理的定理和分析,使结果更具可解释性,也便于数学家在此基础上进一步研究。我们发布了所有原始智能体对话、证明和验证代码,为这些发现的产生过程提供了透明的记录。
We study autonomous mathematical discovery in the Station, an open-world multi-agent environment in which AI agents from different model families pursue a shared research goal without a central coordinator or scripted pipeline. Agents choose their own research directions, conduct experiments, collaborate, and build a shared scientific literature. Across 12 construction problems from the AlphaEvolve catalogue and two additional case studies, the Station obtained results novel relative to the prior literature on five problems: a new infinite family of finite-field Kakeya sets, new exact 604-point kissing configurations in dimension 11, new records for the discretized Kakeya needle and sign uncertainty problems, and a substantially improved lower bound for Erdős's minimum-overlap problem. Agents also discovered novel infinite families for Book Ramsey numbers. Importantly, the agents produced not only numerical constructions but also theorems and analyses explaining how those constructions work, making the results more interpretable and easier for mathematicians to build upon. We release all raw agent dialogues, proofs, and verification code, providing a transparent record of how these discoveries emerged.