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

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