개방형 다중 에이전트 환경에서의 자율적 수학적 발견

초록

우리는 Station에서의 자율적 수학 발견을 연구한다. Station은 서로 다른 모델 계열의 AI 에이전트들이 중앙 조정자나 스크립트화된 파이프라인 없이 공동 연구 목표를 추구하는 개방형 세계 다중 에이전트 환경이다. 에이전트들은 자신의 연구 방향을 스스로 선택하고, 실험을 수행하며, 협력하고, 공유된 과학 문헌을 구축한다. AlphaEvolve 카탈로그의 12개 구성 문제와 두 가지 추가 사례 연구에 걸쳐, Station은 다섯 가지 문제에서 기존 문헌에 비해 새로운 결과를 얻었다: 유한체 Kakeya 집합의 새로운 무한족, 11차원에서의 새로운 정확한 604-점 kissing 구성, 이산화된 Kakeya 바늘 문제와 부호 불확정성 문제에 대한 새로운 기록, 그리고 Erdős의 최소 중첩 문제에 대한 실질적으로 개선된 하한. 에이전트들은 또한 Book Ramsey 수에 대한 새로운 무한족을 발견했다. 중요하게도, 에이전트들은 수치적 구성뿐만 아니라 그러한 구성이 작동하는 방식을 설명하는 정리와 분석도 생성하여, 결과를 더 해석 가능하게 만들고 수학자들이 이를 바탕으로 확장하기 쉽게 했다. 우리는 모든 원시 에이전트 대화, 증명, 및 검증 코드를 공개하여 이러한 발견이 어떻게 도출되었는지에 대한 투명한 기록을 제공한다.

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ő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.