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

- 来源：HuggingFace Daily Papers（社区热门论文）
- 发布时间：2026-08-24 08:00
- AIHOT 分数：71
- AIHOT 标记：精选
- AIHOT 链接：https://aihot.virxact.com/items/cmtacjvfj0a9qroj2efx3z1xo
- 原文链接：https://arxiv.org/abs/2608.23691

## 精选理由

相较只给数值构造的既有自动化探索，智能体同时产出定理与分析，使这些新纪录成为数学家可以理解和继续推进的起点。

## AI 摘要

一项研究在开放世界多智能体环境Station中，让来自不同模型家族的AI智能体在无中央协调或脚本化流程下自主开展数学研究。在AlphaEvolve目录的12个构造问题及两个额外案例中，智能体在五个问题上取得了超越现有文献的新结果，包括有限域Kakeya集的新无限族、11维604点亲吻构型等，并生成了定理与分析使结果更具可解释性。所有原始智能体对话、证明和验证代码均已公开。

## 正文

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