# 多智能体系统在开放环境里自主发现新数学定理与构造

> 原标题：Autonomous Mathematical Discovery in an Open-World Multi-Agent Environment

- 来源：Hacker News 首页
- 发布时间：2026-08-28T17:01:12.000Z
- AX AI 日报：https://ai-daily.ax0x.ai/items/53435
- 原文：https://arxiv.org/abs/2608.23691

## 摘要

这篇论文把不同家族的 AI 模型扔进一个叫“Station”的开放环境，没有中央调度，让它们自己选方向、做实验、写文献。在 AlphaEvolve 题库的 12 道构造题里，这群智能体在 5 个问题上搞出了文献里没出现过的新结果：找到了一族新的有限域 Kakeya 集、在 11 维空间里摆出了正好 604 个点的接吻配置、刷新了离散 Kakeya 针和...

## 推荐理由

我会先打个折：这是刚挂上 arXiv 的预印本，还没经过同行评审，纯数学发现离产品落地也还有距离，所以分数压在 85 以下。但亮点很实在——一群不同家族的模型扔进开放环境里自己跑，没有中央调度，居然在 12 道构造题里搞出 5 个文献里没出现过的新结果，包括新的有限域 Kakeya 集和 604 点的接吻配置。正文没披露计算成本和失败率，这点先别太激动，但自主科研的雏形确实出来了。

## 锐评

这篇论文展示了一个叫“Station”的多智能体环境，把不同家族的 AI 模型放进去，不设中央调度，让它们自己选研究方向、跑实验、协作写文献。在 AlphaEvolve 题库的 12 道构造题里，这群智能体在 5 个问题上产出了此前文献中没有的新结果，包括找到了一族新的有限域 Kakeya 集、在 11 维空间里摆出了正好 604 个点的接吻配置，还刷新了离散 Kakeya 针和符号不确定性问题的记录，并大幅改进了 Erdős 最小重叠问题的下界。

值得留意的是，智能体输出的不只是数值构造，还有定理和分析来解释这些构造为什么成立，这让结果更容易被数学家理解和继续推进。作者把原始对话、证明和验证代码全部公开了，透明度做得不错。但正文没披露这些发现有多少是真正被数学界验证过的，也没说清楚不同模型家族在协作中各自贡献了什么。目前看，这更像一个概念验证，离“自主数学研究”还有距离，别急着把它当成 AI 科学家。