AI智能体在开放环境中自主发现数学新定理

研究人员在一个名为”Station”的开放世界多智能体环境中，展示了AI智能体如何在没有中央协调器的情况下进行自主数学发现。在这个系统中，来自不同模型家族的AI智能体被设定了一个共同的研究目标，它们能够自主选择研究方向、开展实验、相互协作，并构建共享的科学文献体系。实验涵盖了来自AlphaEvolve目录的12个构造问题及两个案例研究。结果显示，该系统在五个问题上取得了相对于既有文献的新颖结果。具体成就包括发现了一类新的有限域Kakeya集；在11维空间中发现了新的精确604点吻配置；在离散Kakeya针和符号不确定性问题上创造了新纪录；并显著改进了Erdős最小重叠问题的下界。此外，智能体还在Book Ramsey数方面发现了新颖的无穷族。值得注意的是，这些智能体不仅输出了数值构造，还生成了相关的定理和解释性分析，证明了其工作原理，这使得结果更具可解释性，便于人类数学家在此基础上继续研究。为了确保透明度和可复现性，作者公开了所有原始智能体对话记录、数学证明以及验证代码。

事件分析

核心观点：AI智能体首次在去中心化协作中产出可解释的新定理，验证了多智能体系统作为自主科研工具的巨大潜力。