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

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