工作日早上 7 点读 AI，周日早上 8 点读周报订阅邮件

METAL LAB

Autonomous Mathematical Discovery in an Open-World Multi-Agent Environment

arXiv:2608.236912026-08-26

没有中央指挥,来自不同公司的AI智能体在开放世界环境中自行协作,在五个数学难题上做出了新发现

在名为Station的开放世界多智能体环境中,来自GPT-5.5、Claude Opus 4.8、Gemini 3.1 Pro等不同模型家族的AI智能体在没有中央协调者的情况下,自主选择研究方向、开展实验并互相发表论文积累知识。研究者将其应用于AlphaEvolve研究目录中的12个构造问题以及另外两个案例研究,结果在其中5个问题上取得了相对于现有文献的新成果,包括有限域Kakeya集合的新无穷族、11维空间中新的604点接触配置、离散Kakeya针问题和符号不确定性问题的新纪录,以及Erdős最小重叠问题下界的大幅提升。智能体不仅给出了数值构造,还给出了解释这些构造为何成立的定理和分析。

METAL LAB 解读图

Station驱动自主数学发现的结构

证据状态已报告实测结果

  1. 只给目标,不设指挥Station只被告知研究目标和评分规则,不由任何中央系统指派具体研究方向或任务给智能体。
  2. 多模型智能体团队六个智能体,分别来自GPT-5.5、Claude Opus 4.8、Gemini 3.1 Pro各两个,作为独立研究者往返于研究中心、论文档案室与邮件室之间。
  3. 协作与知识积累智能体阅读并引用前人发表的论文,形成共享知识库;超过一半的重点成果涉及智能体间乃至跨模型家族的协作。
  4. 12个问题加2个案例研究AlphaEvolve目录中的Kakeya、接触数、Erdős最小重叠等12个问题,以及Book Ramsey数、雅可比猜想两个案例研究,各自在独立的Station实例中运行。
  5. 五项新成果加解释性定理在五个问题上超越已有文献,并且不止给出数值结果,还给出解释这些获胜构造为何成立的定理。
这是 METAL LAB 制作的解读图，并非论文作者提供的原图。

他们做了什么

  1. 研究者搭建了Station——一个开放世界多智能体环境,让来自不同公司的AI模型(GPT-5.5、Claude Opus 4.8、Gemini 3.1 Pro)在没有中央协调者的情况下自主选择研究方向、开展实验,并通过撰写和阅读论文积累共享知识。
  2. 他们将该环境应用于AlphaEvolve研究所用的同样12个数学构造问题,以及另外两个案例研究(Book Ramsey数、雅可比猜想),每个问题分配给独立的Station实例运行约1000至2000个时间步(相当于连续运行一到两周)。
  3. 12个问题中有5个取得了相对于已有文献的新成果:针对p≡3(mod 4)的素数给出有限域Kakeya集合的新无穷族,11维空间中三种精确的604点接触配置,离散Kakeya针问题的新上界(CT(128)≤0.107067),符号不确定性问题上界改进到0.3089,以及将Erdős最小重叠常数下界从0.37912提升到0.380552以上,缩小了此前约82%的未解区间。
  4. 在其余7个问题中,Station在3个问题上超过AlphaEvolve,2个持平,2个不及。在Book Ramsey数案例研究中,智能体发现并证明了两个新的无穷族(借助外部专家又得到第三个),共同证明了200以内43个数值处的猜想,其中28个此前是未解决的;针对雅可比猜想,智能体在一天内且无网络访问的情况下独立重构出已知的七次反例。
  5. 分析显示,超过一半的重点成果涉及智能体之间的协作,常常是不同模型家族之间取长补短,而早期智能体撰写的论文往往成为后来重大发现的基础。
Figure 1: Kakeya set sizes at the 25 pairs (d,p) of the benchmark, divided by the size Bp,d of the classical construction; lower is better. Pre-AlphaEvolve literature is the smallest size obtained from the explicitly defined families predating AlphaEvolve that are listed in Appendix B. The Station is below both reference curves at 5 of the 14 pairs in d=3, 5 of the 7 in d=4 and all 4 in d=5, and equal to the lower of the two elsewhere. The three panels are not comparable with each other, since Bp,d is a tighter reference in higher dimensions.
Figure 1: Kakeya set sizes at the 25 pairs (d,p) of the benchmark, divided by the size Bp,d of the classical construction; lower is better. Pre-AlphaEvolve literature is the smallest size obtained from the explicitly defined families predating AlphaEvolve that are listed in Appendix B. The Station is below both reference curves at 5 of the 14 pairs in d=3, 5 of the 7 in d=4 and all 4 in d=5, and equal to the lower of the two elsewhere. The three panels are not comparable with each other, since Bp,d is a tighter reference in higher dimensions.
Figure 2: Successive published bounds for Erdős’s minimum-overlap constant. Each horizontal segment joins the best lower and upper bounds at the indicated stage. The Station raises the lower bound from 0.37912 to above 0.380552, closing approximately 82% of the previously open interval.
Figure 2: Successive published bounds for Erdős’s minimum-overlap constant. Each horizontal segment joins the best lower and upper bounds at the indicated stage. The Station raises the lower bound from 0.37912 to above 0.380552, closing approximately 82% of the previously open interval.
Table 1: Summary of the Station’s rooms and their functions.
RoomFunction
Research
Research CenterRead the assigned task, develop and run code, and submit solutions for evaluation.
Reflection ChamberRespond to self-designed prompts to encourage extended reflection.
Communication
Mail RoomCommunicate directly and privately with other agents.
Public Memory RoomParticipate in persistent public discussions, similar to an online forum.
Common RoomParticipate in non-persistent public discussions, similar to a group chat.
Knowledge
Private Memory RoomStore private documents, such as plans, notes, and paper drafts.
Archive RoomRead scientific papers and publish papers that pass automated review.
Question RoomAsk questions and vote on answers, similar to Stack Exchange.
External CounterAccess reports based on external literature via the web; disabled by default.
Figure 3: The three 604-point kissing configurations in ℝ11, shown under the same orthogonal projection into ℝ3. All three share the same 432-point rational core, shown in light gray, and each has the form 432+64+108. Constructions 1 and 2 use the same 64-point core type, so their complete 496-point cores agree, but they use different 108-point extensions. Constructions 2 and 3 use the same extension but different 64-point core completions. The colored spheres distinguish the two core types and the two extension types.
Figure 3: The three 604-point kissing configurations in ℝ11, shown under the same orthogonal projection into ℝ3. All three share the same 432-point rational core, shown in light gray, and each has the form 432+64+108. Constructions 1 and 2 use the same 64-point core type, so their complete 496-point cores agree, but they use different 108-point extensions. Constructions 2 and 3 use the same extension but different 64-point core completions. The colored spheres distinguish the two core types and the two extension types.
Figure 4: Left: union areas of the finite constructions published by AlphaEvolve and produced by the Station; lower is better. The Station matches AlphaEvolve at n=2,4,8,16 and reduces the area by 2.15%, 0.69%, and 6.74% at n=32,64,128, respectively. Right: the best symmetric n=5 construction and a smaller asymmetric construction. Blue and teal identify the triangle pairs (1,5) and (2,4), while gold identifies triangle 3; the three corresponding dashed reflection axes coincide in the symmetric construction and separate in the asymmetric one.
Figure 4: Left: union areas of the finite constructions published by AlphaEvolve and produced by the Station; lower is better. The Station matches AlphaEvolve at n=2,4,8,16 and reduces the area by 2.15%, 0.69%, and 6.74% at n=32,64,128, respectively. Right: the best symmetric n=5 construction and a smaller asymmetric construction. Blue and teal identify the triangle pairs (1,5) and (2,4), while gold identifies triangle 3; the three corresponding dashed reflection axes coincide in the symmetric construction and separate in the asymmetric one.
Table 2: Important findings by the Station. All evaluated problems are included.
ProblemSourceFinding
Novel Results Relative to Prior Literature
Finite-field Kakeya (Section 4.1)AlphaEvolve Problem 6.1For every prime p≡3(mod4), the Station constructed a Kakeya set in 𝔽p3 of size (2​p3+7​p2+3)/8, saving (p−3)/4 points over AlphaEvolve’s infinite family. It also found a 53-point set in 𝔽35, improving AlphaEvolve and the previous literature bound of 63; both appear novel relative to the literature.
Erdős minimum overlap (Section 4.2)AlphaEvolve Problem 6.5AlphaEvolve lowered the upper bound only slightly, from 0.380927 to 0.380924, whereas the Station raised the lower bound from 0.37912 to 0.380552. Relative to the published lower bound 0.37912, this closes approximately 82% of the corresponding published gap.
Kissing number in d=11 (Section 4.3)AlphaEvolve Problem 6.8AlphaEvolve raised the lower bound from 592 to 593, while the Station constructed three exact 604-point configurations. One was an independent rediscovery of the EinsteinArena construction, while the other two appear to represent novel isometry classes.
Discretized Kakeya needle (Section 4.4)AlphaEvolve Problem 6.9At n=128, the Station obtained union area 0.107067, improving AlphaEvolve’s 0.114810 by 6.74% and HorizonMath’s 0.109148 by 1.91%. This establishes a new literature upper bound.
Sign uncertainty principle (Section 4.5)AlphaEvolve Problem 6.11The Station lowered the upper bound to 0.3089, improving AlphaEvolve’s 0.321591 and the previously announced human value 0.3102. This is a new literature record.
Better than AlphaEvolve
Hardy–Littlewood maximal inequality (Section 4.6)AlphaEvolve Problem 6.18The Station reached 1.557069, versus AlphaEvolve’s 1.5080 unguided and approximately 1.533 with hints, but the centered problem was already solved. Its proof that the non-tangential constant equals 2 for 1/3≤α<1 appears novel relative to the literature.
Ovals problem (Section 4.7)AlphaEvolve Problem 6.19AlphaEvolve recovered only the circle, while the Station recovered the full family of noncircular equality ovals. This family was already known in the literature, so the result is novel only relative to AlphaEvolve.
Prime number theorem (Section 4.8)AlphaEvolve Problem 6.27The Station certified 0.980681 for all x, improving AlphaEvolve’s sampled score of 0.938. This is new for the finite-weight benchmark; unrestricted, the prime number theorem already gives the exact limit 1.
Ties with AlphaEvolve
Difference bases (Section 4.9)AlphaEvolve Problem 6.7The Station independently recovered AlphaEvolve’s 360-element construction but did not improve upon it.
Sidorenko’s conjecture (Section 4.10)AlphaEvolve Problem 6.26Neither AlphaEvolve nor the Station found a counterexample. No substantive result was obtained.
Worse than AlphaEvolve
Peak autoconvolution (Section 4.11)AlphaEvolve Problem 6.2The Station obtained C6.2≤1.504473, weaker than AlphaEvolve’s C6.2≤1.5032. No substantive result was obtained.
Flat autoconvolution (Section 4.12)AlphaEvolve Problem 6.3The Station obtained C6.3>0.953189, weaker than AlphaEvolve’s C6.3≥0.961021, but proved that the unrestricted supremum can be approached using binary step functions on increasingly fine grids.
Additional Case Studies
Book Ramsey numbers (Section 4.13)Epoch AIThe Station independently discovered and proved two novel infinite families. Its finite constructions and an earlier identity also enabled an external expert to derive a third. Together, the three families prove the conjecture at 43 values of n≤200, resolving 28 previously open cases.
Jacobian Conjecture (Section 4.14)PublicFrom a formula-free binary task, the Station independently reconstructed the recently announced degree-seven counterexample and derived a geometric explanation of its constant Jacobian and three-sheeted fibers.
Figure 5: Bounds and constructions for the one-dimensional sign-uncertainty problem. Left: successive upper bounds on CSU; lower is better. Right: the polynomial factors −P⁡(2​π​x2) for the AlphaEvolve construction, the Station’s double-root construction, and the Station’s 0.3089 construction. The positive Gaussian factor is omitted without changing signs or zeros. Open circles mark the prescribed double roots.
Figure 5: Bounds and constructions for the one-dimensional sign-uncertainty problem. Left: successive upper bounds on CSU; lower is better. Right: the polynomial factors −P⁡(2​π​x2) for the AlphaEvolve construction, the Station’s double-root construction, and the Station’s 0.3089 construction. The positive Gaussian factor is omitted without changing signs or zeros. Open circles mark the prescribed double roots.
Figure 6: Block-ordered adjacency matrices for the smallest nontrivial members of the three infinite families. Red and blue off-diagonal cells encode the edge colors, and white lines separate the construction blocks named on the axes. The conference and doubled Legendre examples color K22 for n=6, with no red B5 and no blue B6. The Yamada–Pott example colors K42 for n=11, with no red B10 and no blue B11.
Figure 6: Block-ordered adjacency matrices for the smallest nontrivial members of the three infinite families. Red and blue off-diagonal cells encode the edge colors, and white lines separate the construction blocks named on the axes. The conference and doubled Legendre examples color K22 for n=6, with no red B5 and no blue B6. The Yamada–Pott example colors K42 for n=11, with no red B10 and no blue B11.
Table 3: Kakeya set sizes at all 25 benchmark pairs, with dimension listed first in (d,p). Initial Evaluation is our first evaluation of constructions from the pre-AlphaEvolve literature; Pre-AlphaEvolve Literature is the final literature baseline after the extended placement search. Lower is better; bold entries indicate the smallest size for each pair.
(d,p)Initial EvaluationPre-AlphaEvolve LiteratureAlphaEvolveStation
(3,3)13131513
(3,5)53535353
(3,7)129129128128
(3,11)440440438437
(3,13)699698697697
(3,19)2,0342,0342,0312,030
(3,23)3,5093,5093,5053,504
(3,29)6,8376,8376,8336,833
(3,31)8,2958,2958,2908,288
(3,37)13,86713,86613,86113,861
(3,41)18,70918,70818,70118,701
(3,43)21,50421,50421,49521,495
(3,47)27,89927,89927,89227,889
(3,53)39,68739,68639,67739,677
(4,3)27273127
(4,5)164163162161
(4,7)529528527527
(4,11)2,6892,6892,6872,684
(4,13)4,9734,9724,9664,962
(4,17)13,52413,52113,51413,509
(4,19)20,59320,58620,58320,579
(5,3)63636353
(5,5)503497510490
(5,7)2,1452,1422,1872,135
(5,11)16,34816,30716,42716,288
Figure 7: Coverage of the Book Ramsey Numbers conjecture for 1≤n≤200. The top three rows summarize existing results [82, 47, 80], and the bottom three summarize the Station results. Together, the Station families prove the conjecture at 43 distinct values in this range and resolve 28 cases that were open when the Station discoveries were made.
Figure 7: Coverage of the Book Ramsey Numbers conjecture for 1≤n≤200. The top three rows summarize existing results [82, 47, 80], and the bottom three summarize the Station results. Together, the Station families prove the conjecture at 43 distinct values in this range and resolve 28 cases that were open when the Station discoveries were made.
Figure 8: Contributions, archive paper submissions, and citations by model family. (a) Distribution of the primary discovery agent’s model across the 28 spotlight results. (b) Archive paper submission attempts across the 16 Station instances. (c) Citations received from later accepted archive papers. Every citation in a later archive paper is counted once and attributed to the model of the original archive paper’s author.
Figure 8: Contributions, archive paper submissions, and citations by model family. (a) Distribution of the primary discovery agent’s model across the 28 spotlight results. (b) Archive paper submission attempts across the 16 Station instances. (c) Citations received from later accepted archive papers. Every citation in a later archive paper is counted once and attributed to the model of the original archive paper’s author.

研究结果

  • AlphaEvolve目录中的12个构造问题里,有5个取得了相对于已有文献的新成果:新的Kakeya无穷族、11维空间三种精确的604点接触配置、改进的离散Kakeya针问题上界、0.3089的符号不确定性上界,以及将Erdős最小重叠常数下界提升到0.380552以上(此前为0.37912,缩小了约82%的未解区间)。
  • 其余7个问题中,Station在3个上超过AlphaEvolve,2个持平,2个不及。
  • 在Book Ramsey数案例研究中,智能体发现并证明了两个新的无穷族(借助外部专家协助又得到第三个),共同证明了200以内43个n值处的猜想,其中28个此前是未解决的。
  • 针对雅可比猜想,智能体在一天内且无网络访问的情况下,独立重构出此前已公布的七次反例,并给出了其结构的几何解释。
  • 超过一半的重点成果涉及智能体之间的协作,且经常是跨不同模型家族的合作。
(b) Archive paper submissions.
(b) Archive paper submissions.
(c) Later archive paper citations.
(c) Later archive paper citations.

可应用场景

  • 可作为研究辅助工具,应用于那些以往需要研究者亲自设计定制化流程的数学构造类开放问题,只需给定目标,让一组AI智能体自主探索方向。
  • 可尝试应用于组合数学、几何、分析等领域中,除了希望获得优化后的数值分数外,还希望同时得到解释性定理的开放问题探索。
  • 公开的原始对话记录、证明和验证代码可用于研究AI智能体实际如何达成科学发现的元研究。
Figure 9: Collaboration in the 28 spotlight results. (a) Whether each result was produced by one agent, by several agents from one model family, or by agents from different model families. The final three categories show which families worked together. (b) Main communication channel for the 13 cross-model results. Each result is assigned to the channel through which its most important shared work passed. (c) The major events leading to the first finite-Kakeya spotlight result, showing how earlier archive papers and peer mail contributed.
Figure 9: Collaboration in the 28 spotlight results. (a) Whether each result was produced by one agent, by several agents from one model family, or by agents from different model families. The final three categories show which families worked together. (b) Main communication channel for the 13 cross-model results. Each result is assigned to the channel through which its most important shared work passed. (c) The major events leading to the first finite-Kakeya spotlight result, showing how earlier archive papers and peer mail contributed.
(b) Primary communication channel.
(b) Primary communication channel.

局限与待验证事项

  • 评测仅限于12个可打分的数学构造问题加两个案例研究,尚未验证在一般定理证明类任务上的表现。
  • 在诸如峰值和平坦自卷积这类依赖大规模启发式搜索处理不规则对象的问题上,Station的表现不及AlphaEvolve。
  • 新发现的Kakeya无穷族只在三维情形下改进了结果,在四维和五维中所证明的公式弱于已有结果,且个别素数处的改进来自搜索而非通用公式,推广性尚不明确。
  • 三种604点接触配置中有一种与另一平台(EinsteinArena)同期独立报告的结果重合,并非完全独立的发现。
  • 在Erdős最小重叠问题上,原本要求改进的上界并未取得突破(相对AlphaEvolve仅有微小、非纪录性的提升),报告的主要成果实际上是一个计划外的下界证明。

为什么重要

这项研究检验了把AI模型当作自主研究者而非固定流水线中的工具,是否真能在一系列高难度数学问题上产出新成果。作者公开了全部原始智能体对话、证明和验证代码,为读者提供了这些发现如何产生的透明、可复现记录。

本文术语

  • Station · 一个开放世界多智能体模拟环境,AI智能体在其中自主选择研究方向,并通过撰写共享科学论文积累知识,没有中央协调者
  • Kakeya集合 · 一个在每个方向上都包含一条完整直线的集合,问题是让这样的集合尽可能小
  • 接触数(kissing number) · 能够同时与一个中心单位球体接触且互不重叠的单位球体的最大数量
  • Erdős最小重叠问题 · 研究一个区间的两个互补部分在平移下能有多小重叠程度的问题
  • 时间步(tick) · Station环境中的一个时间单位,当所有智能体同时完成各自动作后就经过一个时间步

论文原文摘要（英文）

We study autonomous mathematical discovery in the Station, an open-world multi-agent environment in which AI agents from different model families pursue a shared research goal without a central coordinator or scripted pipeline. Agents choose their own research directions, conduct experiments, collaborate, and build a shared scientific literature. Across 12 construction problems from the AlphaEvolve catalogue and two additional case studies, the Station obtained results novel relative to the prior literature on five problems: a new infinite family of finite-field Kakeya sets, new exact 604-point kissing configurations in dimension 11, new records for the discretized Kakeya needle and sign uncertainty problems, and a substantially improved lower bound for Erd\H{o}s's minimum-overlap problem. Agents also discovered novel infinite families for Book Ramsey numbers. Importantly, the agents produced not only numerical constructions but also theorems and analyses explaining how those constructions work, making the results more interpretable and easier for mathematicians to build upon. We release all raw agent dialogues, proofs, and verification code, providing a transparent record of how these discoveries emerged.

作者 · Stephen Chung, Wenyu Du, William J. Wesley

在 arXiv 阅读

最新论文

全部论文 →

METAL LAB 最新报道

图片来源： Stephen Chung et al., arXiv:2608.23691, cc-by-nc-sa-4.0