开放世界多智能体环境中的自主数学发现

摘要

我们在Station中研究自主数学发现。Station是一个开放世界的多智能体环境，来自不同模型家族的AI智能体在没有中央协调器或脚本化流水线的情况下追求共同的研究目标。智能体自选研究方向、开展实验、进行协作，并共同构建共享的科学文献。在来自AlphaEvolve目录的12个构造问题和两个额外案例研究中，Station在其中五个问题上获得了相对于已有文献的新结果：一个新的有限域Kakeya集无限族，维度11中新的精确604点吻接构型，离散化Kakeya针问题与符号不确定性问题的新纪录，以及Erdős最小重叠问题的大幅改进下界。智能体还为Book Ramsey数发现了新的无限族。重要的是，智能体不仅产出了数值构造，还产出了解释这些构造如何工作的定理和分析，使结果更易解释、更便于数学家在此基础上继续。我们发布了所有原始智能体对话、证明与验证代码，为这些发现如何涌现提供了透明记录。

开放世界多智能体环境中的自主数学发现：论文配图 — 图3：ℝ¹¹ 中三个 604 点吻接（kissing）构型，在投影到 ℝ³ 的同一正交投影下显示。三者共享同一 432 点有理核（以浅灰色显示），且每个都具有 432+64+108 的形式。构造 1 与构造 2 使用同一 64 点核类型，因此其完整 496 点核一致，但使用不同的 108 点扩展。构造 2 与构造 3 使用同一扩展，但 64 点核补全不同。彩色球区分两种核类型与两种扩展类型。