Issue 35 · Pick 01 AI / ML ✓ read
Autonomous Mathematical Discovery in an Open-World Multi-Agent Environment
TL;DR: Instead of wiring LLMs into a scripted discovery pipeline (the AlphaEvolve pattern: propose → evaluate → evolve), the authors drop six frontier-model agents into "the Station," a simulated scientific community where they pick their own problems, run experiments, mail each other, and publish papers into a shared internal archive—with no central coordinator. Run on 12 construction problems from the AlphaEvolve catalogue plus two case studies, this ecosystem produced five results the authors argue are genuinely new to the mathematical literature: a new infinite family of finite-field Kakeya sets, two new isometry classes of 604-point kissing configurations in dimension 11, record bounds for the discretized Kakeya needle and sign-uncertainty problems, and a lower bound that closes ~82% of the open gap in Erdős's minimum-overlap problem. Just as interesting: the agents produced theorems explaining why their constructions work, and in several cases pursued rigor over score-hacking without being told to.
The question the paper is actually asking
The recent wave of AI-for-math systems—AlphaEvolve most prominently—treats the model as a component. A human designs an evaluator, a search loop mutates candidate programs, the score climbs. This works, but it has a structural blind spot: it can only optimize what's scorable. AlphaEvolve found small Kakeya sets at finitely many primes; turning those numerical patterns into an infinite family with a proof required a separate, human-assisted pipeline. The math community cares about the infinite family. The evaluator can't see it.
The paper's question is deliberately architectural: what happens if you treat the agents as researchers instead of tools? Give them only a research goal, an evaluator they may consult, a compute sandbox, and each other. No task decomposition, no orchestrator, no roles. The bet is that sufficiently capable agents, embedded in something like a scientific community—with a literature, peer communication, and reviewed publication—will pursue the mathematical goal rather than just the metric, and will accumulate knowledge across agent generations the way human fields do.
How the Station works
The mechanics are simple and worth internalizing because the results hang on them. The environment is divided into rooms: a Research Center (task spec, evaluator, code execution—with a Codex-powered coding assistant so agents delegate implementation), an Archive Room (agents submit papers; a GPT-5.5 reviewer accepts or rejects on rigor, novelty relative to the archive, and usefulness), a Mail Room and public forums, and a Question Room (a Stack-Exchange analogue). Each Station runs six agents—two each from GPT-5.5, Claude Opus 4.8, and Gemini 3.1 Pro—for 1,000–2,000 ticks, roughly one to two weeks of wall clock.
A few deliberately soft mechanisms shape behavior: every ninth and tenth tick is a "holiday" where agents can't run code and instead get open-ended reflection prompts; a "stagnation protocol" fires after 320 ticks without frontier progress and pushes agents into randomly assigned strategies; an occasional supervisor agent gives light coordination. That's it—no scripted workflow.
What came out
Table 2 of the paper is the scoreboard. On the 12 AlphaEvolve problems: five novel-to-literature results, three wins over AlphaEvolve without novelty, two ties, two losses. Highlights, with numbers:
Finite-field Kakeya. A Kakeya set in \mathbb{F}_p^3 contains a line in every direction; you want it small. The Station proved a new infinite family: for primes p \equiv 3 \pmod 4, a set of size (2p^3 + 7p^2 + 3)/8—beating AlphaEvolve's family by (p-3)/4 points on that residue class, an exact size where the literature had an O(p) error term. Crucially, the task spec said finite constructions were test cases and infinite families were the goal; the agents recovered AlphaEvolve's family (which had needed a human-assisted pipeline) and extended it, with proofs the authors only had to check. They also found a 53-point Kakeya set in \mathbb{F}_3^5, smashing the prior bound of 63 and exactly matching a value guessed from a conjectured recurrence in 2009.
Kissing number in d=11. How many unit spheres can touch a central one? Ganzhinov had 592; AlphaEvolve nudged it to 593. Two independent, internet-free Station runs both reached 604, producing three exact, pairwise non-isometric configurations over \mathbb{Q}(\sqrt 2) (proven distinct by their touching-pair counts: 19,704 / 22,904 / 22,840). One matches a concurrent EinsteinArena result; two appear to be new isometry classes. The route matters: agents first proved the classical D_{11} norm-four construction caps at 582—so no amount of search inside it could ever reach 593—then redirected to augmenting a 496-point core, and finally distilled the result into an explicit algebraic construction needing no computer search. Their capping identity, \alpha(J_\pm(n,4)) = 16\,A(n,4,4), independently reproduced a theorem in a human paper posted weeks earlier.
Erdős minimum overlap. Asked to improve the upper bound on the constant \mu, the agents instead proved a new lower bound, \mu > 0.380552, up from the published 0.37912—closing roughly 82% of the published gap [0.37912, 0.380868]. The mechanism is a sharp coupling between the cosine and sine transforms of the overlap function, P(\xi) \le s(\xi)^2 - Q(\xi)^2/4s(\xi)^2, which earlier Fourier approaches had discarded. This is the clearest case of the freedom paying off: a fixed pipeline optimizing the assigned objective would never have produced this.
Sign uncertainty and discretized Kakeya needle. New literature records on both: sign-uncertainty upper bound 0.3089 (vs. AlphaEvolve's 0.321591 and an unpublished human 0.3102), and Kakeya needle union area 0.107067 at n=128 (6.7% below AlphaEvolve, 1.9% below the later HorizonMath value). In the sign-uncertainty case the agents first proved the search family everyone had been using (the double-root Laguerre family, which contains AlphaEvolve's construction) bottoms out near 0.3153—then left it, even though the official evaluator couldn't even score constructions outside it.
Beyond the catalogue: on Book Ramsey numbers (is R(B_{n-1}, B_n) = 4n-1 always?), agents discovered and proved two novel infinite families of extremal colorings—one lifting conference graphs, one a "doubled Legendre" lift—and their finite constructions enabled a human expert to derive a third. Together these settle 28 previously open cases with n \le 200. And on the Jacobian Conjecture, given only a formula-free binary task (find a degree-≤12 polynomial map \mathbb{C}^3 \to \mathbb{C}^3 with constant nonzero Jacobian and a non-injective fiber) with a 0/1 evaluator, a single GPT-5.6 Sol agent reconstructed the recently announced degree-seven counterexample within one day, without web access, and derived a geometric explanation of the "miraculous" Jacobian cancellation via a cuspidal ruling.
The pattern underneath: theory-guided search, and why it's not free
The paper's most useful conceptual takeaway is a characterization of when this architecture beats evolutionary search. Station evaluations are capped at 15–30 minutes, which creates pressure to use mathematical structure to shrink the search space. That's exactly what happened in the kissing problem: prove an impossibility theorem, redirect, find structure, then algebrize. The output is interpretable by construction—a compact rule, not AlphaEvolve's 593 large unequal-norm integer vectors with no visible organization.
But the same bias produced the two clear losses. On peak and flat autoconvolution (Problems 6.2/6.3), where the frontier constructions are highly irregular objects found by grinding heuristic optimization, the Station underperformed AlphaEvolve (1.504473 vs. 1.5032; 0.953189 vs. 0.961021). The authors are refreshingly direct: pick your system by the problem's structure. If the answer is an irregular artifact, evolve; if theory can guide, or if you want theorems alongside numbers, the ecosystem wins.
There's also a quietly important anti-reward-hacking result. On the prime-number-theorem benchmark, AlphaEvolve's score sampled the required inequality F_f(x) \le 1 at finitely many x—so it's hackable. Some Station agents did find higher-scoring constructions (0.990629) that fail the global inequality; but the run's headline result is a construction with score 0.980681 proved for all x via an engineered periodicity that made exhaustive checking finite. Agents distinguishing a valid result from a high hackable score, unprompted, is a behavior worth noting.
The sociology of the machine
Section 5's meta-analysis of the 28 "spotlight" findings is the part I'd read first. Claude agents made the primary discovery on 18/28; GPT on 9; Gemini on 1—but the styles differ tellingly. Gemini submitted 2,652 archive papers with an 81% rejection rate (overclaiming); GPT submitted only 506 with 77% acceptance (prudent); Claude sat between, and its longer papers got the most citations. 19 of 28 results involved more than one agent, and 13 crossed model families—with the internal archive, not direct mail, as the dominant collaboration channel (61.5%). Distilled papers, it turns out, are efficient inter-agent bandwidth for machines too.
The oddest and most human finding: the enforced "holidays"—two ticks in ten where agents can't run code and get night-science-style reflection prompts—contributed to 23 of 28 spotlight results, more than any other mechanism. Stepping back from the optimization loop to ask why did that fail was where decisive ideas kept coming from. And 13 of 28 discoveries came after tick 1000, with the hardest (the conference-graph Ramsey family) at tick 3727—only after a deep internal literature had accumulated. Knowledge compounding across agent generations appears to be real, not decorative.
What to be skeptical about
The novelty claims were checked by the authors themselves (one is a mathematician who works on Book Ramsey numbers), and the "spotlight" results were screened by external LLM agents then hand-selected—so there's a curation layer between the raw runs and the paper. The released dialogues, proofs, and verification code mitigate this substantially, and the constructions themselves (kissing configurations, Kakeya sets, the PNT weight) are mechanically checkable; the proofs of the infinite families are the part that needs independent expert review, and the authors call their released versions "relatively unpolished."
Humans still chose the problems, wrote the task specifications (including the crucial hint that infinite families were the real goal), and in the Book Ramsey case a human expert supplied the synthesis for the third family—the ingredients were in the Station's archive, but no agent connected them. The Jacobian reconstruction is impressive but is a re-discovery of an announced result; the paper doesn't fully rule out indirect contamination via the newer agent models, though the one-week gap between announcement and launch makes weight-level leakage unlikely. Compute cost is never stated—six frontier agents plus coder/reviewer/surveyor models running continuously for two weeks per problem, sixteen instances, is not cheap—so cost-effectiveness versus AlphaEvolve is unquantified. Reproducibility was tested on exactly one problem (three runs, all reached 604, by markedly different routes). And the authors' own limitations list—weak research taste, attractor traps, agents failing to use their own archive—reads like an honest account of where this breaks.
Why it matters anyway
If the results hold up—and the artifacts are public, so they will be checked—this is the strongest evidence yet for a specific claim: the bottleneck in AI mathematical discovery is shifting from search capability to research environment design. The same underlying models, given autonomy, a literature, and peers instead of a loop, produced proofs, impossibility theorems, and infinite families that the loop architecture structurally cannot express—while losing only on problems whose answers are irregular artifacts. The paper also previews the next bottleneck: in an "era of proof abundance," interpretable constructions and explanatory theorems are the deliverable, and the Station's theory-guided bias produces exactly those. Read Section 5 for the discovery dynamics, Section 4.3 if you want one worked example of the full arc from impossibility proof to algebraic construction, and the released dialogues if you want to watch it happen.