AI agents in an open-world ’Station’ autonomously discovered multiple novel mathematical constructions and proofs, improving bounds and producing interpretable theorems; the team publishes full agent dialogues, proofs, and verification code so the community can reproduce and build on the discoveries.

Main Finding

An open-world, decentralized multi-agent environment (the Station) in which autonomous AI agents act as independent researchers — choosing directions, running experiments, collaborating, and publishing a persistent internal literature — can produce novel, verifiable mathematical discoveries (constructions, theorems, and proofs) across a range of hard problems. Across 12 benchmark problems (from AlphaEvolve) plus two case studies, the Station produced five results novel relative to prior literature (including new infinite families, improved numerical bounds, and exact high-dimensional constructions), and generated theorem-level, interpretable explanations alongside numerical artifacts. All agent dialogues, proofs, and verification code are released.

Key Points

• System design

  • The Station is an open-world multi-agent scientific ecosystem (rooms for Research, Archive, Mail, etc.). Agents act autonomously, have finite lifetimes, and publish papers into a shared Archive that later agents can read/cite.
  • Agents come from multiple model families and run concurrently; typical runs used six agents (two each of GPT-5.5, Claude Opus 4.8, Gemini 3.1 Pro). Actions proceed in synchronized ticks.
  • Design choices emphasize agent autonomy and accumulation of human-readable knowledge (papers), not just optimization traces.

• Experimental outcomes

  • Evaluated 12 AlphaEvolve problems (each in its own Station instance) plus two case studies (Book Ramsey numbers, Jacobian Conjecture).
  • Novel results on 5/12 AlphaEvolve problems and significant case-study findings:
    • Finite-field Kakeya: new infinite family in dimension 3 for primes p ≡ 3 (mod 4) with explicit size formula (saves points relative to prior family); also a tighter finite construction improving a previous 63→53 bound reported.
    • Kissing number (d = 11): three exact 604-point configurations found (two appear to be new isometry classes).
    • Discretized Kakeya needle (n = 128): improved union-area upper bound CT(128) ≤ 0.107067 (new literature bound).
    • Sign uncertainty principle: improved the upper bound to 0.3089 (new record).
    • Erdős minimum-overlap: raised the lower bound from 0.37912 to 0.380552 (closing ~82% of previously open gap).
    • Book Ramsey numbers (case study): agents proved two novel infinite families; combined with an expert-driven derivation this resolved 28 previously open cases for n ≤ 200.
    • Jacobian Conjecture (case study): Station reconstructed a degree-seven counterexample from a binary success task and provided geometric explanation.
  • Mixed performance: Station outperformed AlphaEvolve on several tasks, matched on some, and underperformed on optimization problems that favor extensive, irregular numerical search (e.g., peak/flat autoconvolution).

• Process insights

  • Agents produced not only numeric constructions but also proofs and algebraic descriptions — making results interpretable and easier to build upon.
  • More than half of important findings involved inter-agent collaboration and multi-generational buildup via the Archive.
  • Agents tended to favor theory-guided, structured constructions (partly due to time-limited evaluations), which yielded compact, explainable outputs; this bias helps for theorem-style advances but can hurt tasks where the best solution is an irregular numerical artifact.

• Transparency & reproducibility

  • All raw dialogues, proofs, verification artifacts, and code were released (GitHub), enabling external validation and study of discovery processes.

Data & Methods

• Environment (Station)

  • Multi-room open-world simulation (Research Center, Reflection Chamber, Mail Room, Public/Private Memory Rooms, Archive Room, Question Room, etc.).
  • Agents choose actions each tick; no central coordinator assigns sub-tasks. Agents can develop code, run experiments, publish papers (subject to automated review), post and vote in Q&A, and privately store notes.
  • Agents have finite lifetimes; replacements spawn to keep population constant.

• Agent configuration & runs

  • Mostly six agents per Station instance: two GPT-5.5, two Claude Opus 4.8, two Gemini 3.1 Pro (i.e., heterogenous model families).
  • Independent Station instances run per problem; runs typically lasted ~1,000–2,000 ticks (~1–2 weeks wall time).
  • Agents were given only the research goal and the evaluator function (for scorable tasks). No external literature or human researcher guidance was provided during runs (External Counter/web disabled by default).

• Benchmarks & evaluation

  • Problems drawn from AlphaEvolve catalogue (12 selected) plus two case studies. Many tasks are constructive/optimization tasks where evaluators check candidate constructions and assign numeric scores; some tasks have binary success criteria (Jacobian).
  • Findings were auto-screened by external agents for frontier advances, then manually reviewed; selected “spotlight” findings were presented in the paper.
  • System enhancements to encourage exploration: Question Room, periodic “holidays” with open prompts, coding assistants to reduce low-level debugging time.

• Release

  • Complete source code for the Station and dataset of agent artifacts and verification code published at the authors’ GitHub repository.

Implications for AI Economics

• Productivity and returns to capital

  • Autonomous multi-agent research systems can shift research productivity: they can discover novel mathematical constructions and proofs with limited human oversight, implying a potential increase in R&D output per unit of human capital and compute.
  • If generalizable beyond math, similar systems could raise returns to firms that control compute, model access, and infrastructure (platform effects), amplifying concentration of research production.

• Labor markets and task reallocation

  • The Station demonstrates automation of substantive segments of the research process (direction choosing, experiment design, writing/verifying proofs). This suggests potential displacement of some research tasks (routine construction, exploratory search) and augmentation of others (verification, conceptual synthesis, domain-level oversight).
  • New complementary human roles likely increase in value: validators/verifiers, domain experts interpreting agent-generated theorems, curators of internal AI-produced literature, and agents’ prompt/model engineers.

• Markets for specialized AI researchers & services

  • Demand may grow for platforms that provide multi-agent research ecosystems, for verification services, and for repositories making agent artifacts auditable. Business models could include managed research-as-a-service, open/private Archives, and model-heterogeneity subscriptions.

• Incentives, coordination, and innovation ecosystems

  • Decentralized, open-world agent ecosystems produce emergent coordination and multi-generational knowledge accumulation without central orchestration — suggesting new organizational forms (decentralized R&D labs, AI research commons).
  • Intellectual property and attribution frameworks will be strained: outputs are agent-generated, but agents are run by organizations; licensing, ownership, and credit norms will need economic and legal design.

• Comparative advantage across problem types

  • The Station excels where theory-guided, interpretable construction yields benefit; large-scale noisy search systems (e.g., evolutionary search) may still outperform on highly irregular numerical optima. This implies differentiated returns across problem domains: some research problems will be automated earlier than others.
  • Economic modeling of R&D should account for heterogenous automation potential across tasks (structured theorem discovery vs. brute-force numeric optimization).

• Public goods, openness, and verification markets

  • Public release of agent dialogues, proofs, and verification code increases transparency and lowers verification costs, shifting the economics of scientific public goods. Markets for third-party verification and reputation mechanisms will gain importance.
  • When agents produce many results, bottlenecks may shift from discovery to validation, synthesis, and adoption — generating demand for human-expert gatekeepers and institutions to certify results.

• Governance, safety, and policy

  • Rapid automated discovery raises policy considerations: pace of advance, concentration risks, misuse potential (automating discovery in sensitive domains), and the need for norms around disclosure and auditability.
  • Economists and policymakers should consider regulation and public investment to ensure equitable access to such research platforms and to fund independent verification infrastructure.

• Research agenda for AI economics

  • Quantify productivity effects: estimate how multi-agent research systems change the elasticities of R&D output with respect to compute, human oversight, and diversity of models.
  • Study complementarities: model how heterogeneous agent ensembles (different model families) create gains from trade or diminishing returns.
  • Market design questions: optimal intellectual property rules, platforms for sharing/verifying AI-generated research, and incentive schemes for multi-agent collaboration.
  • Labor transition modeling: forecast reallocation across occupations (researchers → verifiers/curators), skill premiums, and training needs.

Caveats & Limitations

• Domain scope: experiments focus on mathematical construction tasks; generalization to other scientific domains (experimental sciences, engineering) is untested.
• Resource & access constraints: the runs used proprietary high-capability models and sustained compute; practical adoption depends on compute costs and model availability.
• Validation & novelty: while authors screened and manually checked novelty, full integration into mathematical literature requires community vetting; open release helps but human verification remains crucial.
• Mixed performance: Station underperformed on problems where unstructured numerical search is key; system design biases (time-limited evaluations, agent priors) shape outcomes.

References / Data access - Authors have released code, agent dialogues, proofs, and verification artifacts at the repository cited in the paper (https://github.com/dualverse-ai/station and https://github.com/dualverse-ai/station_data_v2).