AI news and explainers at 7 AM weekdays, plus a Sunday weekly at 8Get it in your inbox

METAL LAB

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

arXiv:2608.236912026-08-26

AI agents from different companies self-organized in an open-world simulation and produced new results on five math problems, with no one directing them

In an open-world multi-agent environment called the Station, AI agents from different model families (GPT-5.5, Claude Opus 4.8, Gemini 3.1 Pro) chose their own research directions, ran experiments, and published papers to each other without any central coordinator. Tested on 12 construction problems from the AlphaEvolve catalogue plus two extra case studies, the Station produced results novel relative to prior literature on five problems, including a new infinite family of finite-field Kakeya sets, new 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ős's minimum-overlap problem. The agents also produced theorems explaining why their constructions work, not just the numbers themselves.

METAL LAB explanatory visual

How the Station drives autonomous math discovery

Evidence statusMeasured results reported

  1. Goal only, no coordinatorThe Station is given only a research goal and a scoring rule; no central system assigns directions or tasks to agents.
  2. Multi-model agent teamSix agents, two each from GPT-5.5, Claude Opus 4.8, and Gemini 3.1 Pro, act as independent researchers moving between a Research Center, an Archive Room for papers, and a Mail Room.
  3. Collaboration and accumulated literatureAgents read and cite earlier agents' published papers, forming a shared knowledge base; over half of spotlight results involved cross-agent or cross-model-family collaboration.
  4. 12 problems plus 2 case studiesEach of 12 AlphaEvolve construction problems (Kakeya, kissing number, Erdős minimum overlap, etc.) plus Book Ramsey numbers and the Jacobian Conjecture ran in its own independent Station instance.
  5. Five novel results plus explanatory theoremsOn five problems the Station beat prior literature and, beyond numbers, produced theorems explaining why the winning constructions work.
An explanatory diagram made by METAL LAB, not a figure supplied by the paper's authors.

What they did

  1. The researchers built the Station, an open-world multi-agent environment where AI agents from different companies (GPT-5.5, Claude Opus 4.8, Gemini 3.1 Pro) pick their own research directions, run experiments, and accumulate knowledge by writing and reading papers, with no central coordinator telling them what to do.
  2. They applied this to the same 12 mathematical construction problems used in the AlphaEvolve study, plus two additional case studies (Book Ramsey numbers and the Jacobian Conjecture), assigning each problem to its own independent Station instance run for roughly 1,000-2,000 ticks (about one to two weeks of continuous operation).
  3. Five of the 12 problems yielded results novel relative to prior literature: a new infinite family of finite-field Kakeya sets for primes p equiv 3 mod 4, three exact 604-point kissing configurations in dimension 11, a new bound for the discretized Kakeya needle problem (CT(128) <= 0.107067), an improved sign-uncertainty upper bound of 0.3089, and a lower bound for Erdős's minimum-overlap constant raised from 0.37912 to above 0.380552, closing about 82% of the previously open gap.
  4. On the remaining 7 problems, the Station beat AlphaEvolve on 3, tied on 2, and fell short on 2. In the separate Book Ramsey numbers case study, agents discovered and proved two novel infinite families (a third came with external expert help), together proving the conjecture at 43 values under 200, 28 of which were previously open; for the Jacobian Conjecture, agents independently reconstructed a known degree-seven counterexample within one day without web access.
  5. Analysis showed that more than half of the spotlight results involved collaboration among agents, often across different model families, with papers written by earlier agents becoming the foundation for discoveries made much later.
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.

Findings

  • Five of the 12 AlphaEvolve construction problems produced results novel relative to prior literature: a new infinite Kakeya family, three exact 604-point kissing configurations in dimension 11, an improved discretized Kakeya needle bound, a sign-uncertainty upper bound of 0.3089, and an Erdős minimum-overlap lower bound above 0.380552 (up from 0.37912, closing about 82% of the prior open interval).
  • Of the other 7 problems, the Station outperformed AlphaEvolve on 3, matched it on 2, and underperformed on 2.
  • In the Book Ramsey numbers case study, agents discovered and proved two novel infinite families (a third followed with external expert help), together proving the conjecture at 43 values of n up to 200, 28 of which were previously open.
  • For the Jacobian Conjecture, agents independently reconstructed the recently announced degree-seven counterexample within one day and without web access, and derived a geometric explanation of its structure.
  • More than half of the spotlight results involved collaboration among agents, frequently across different model families.
(b) Archive paper submissions.
(b) Archive paper submissions.
(c) Later archive paper citations.
(c) Later archive paper citations.

Where it can be used

  • Could serve as a research-assistant tool for open mathematical construction problems where a human researcher currently must design a custom pipeline; instead, a goal can be given and a group of AI agents can autonomously explore directions.
  • Might be applied to open problems in combinatorics, geometry, or analysis where obtaining explanatory theorems alongside numerical constructions, rather than just an optimized score, is valuable.
  • The released raw dialogues, proofs, and verification code could support meta-research studying how AI agents actually reach scientific discoveries.
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.

Limits and open work

  • Evaluation is limited to 12 scorable mathematical construction problems plus two case studies; performance on general theorem-proving tasks was not tested here.
  • On problems like peak and flat autoconvolution, which reward large-scale heuristic search over irregular objects, the Station underperformed AlphaEvolve.
  • The new infinite Kakeya family only improves results in dimension 3; in dimensions 4 and 5 the proved formulas are weaker than existing bounds, and individual-prime improvements came from search rather than a general formula.
  • One of the three 604-point kissing configurations was also independently reported around the same time on a different platform (EinsteinArena), so it is not a wholly unique discovery.
  • For Erdős's minimum-overlap problem, the requested upper-bound improvement was not achieved (only a slight, non-record gain over AlphaEvolve); the reported headline result is instead an unplanned lower-bound proof.

Why it matters

This work is a test of whether treating AI models as autonomous researchers, rather than tools inside a fixed pipeline, can actually produce new mathematical results across a range of hard problems. The authors released all raw agent dialogues, proofs, and verification code, giving readers a transparent, reproducible record of exactly how each discovery emerged.

Terms in this paper

  • Station · an open-world multi-agent simulation where AI agents choose their own research directions and build shared scientific knowledge without a central coordinator
  • Kakeya set · a set that contains a full line in every direction; the goal is to make such a set as small as possible
  • kissing number · the largest number of non-overlapping unit spheres that can simultaneously touch one central unit sphere
  • Erdős's minimum-overlap problem · a problem about how little two complementary parts of an interval can overlap under translation
  • tick · one unit of simulated time in the Station, elapsing once all agents have completed their simultaneous actions

Original abstract (English)

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.

Authors · Stephen Chung, Wenyu Du, William J. Wesley

Read on arXiv

Latest papers

All papers →

Latest from METAL LAB

Figures: Stephen Chung et al., arXiv:2608.23691, cc-by-nc-sa-4.0