월~금 오전 7시, 일요일 오전 8시 — AI 뉴스와 용어를 보내드립니다메일로 받아보기

METAL LAB

중앙 지휘자 없이 AI 에이전트들이 자기들끼리 협업해서 수학 난제 5개에서 새로운 결과를 냈다

arXiv:2608.236912026-08-26

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

중앙 지휘자 없이 AI 에이전트들이 자기들끼리 협업해서 수학 난제 5개에서 새로운 결과를 냈다

Station이라는 오픈월드 다중 에이전트 환경에서 GPT-5.5, Claude Opus 4.8, Gemini 3.1 Pro 등 서로 다른 모델 계열의 AI 에이전트들이 중앙 조정자 없이 스스로 연구 주제를 정하고 논문을 쓰며 협업했다. AlphaEvolve가 다뤘던 12개 구성 문제와 별도의 사례연구 2개를 시험한 결과, 유한체 카키야 집합의 새 무한 계열, 11차원 604점 키싱 배치, 이산 카키야 니들과 부호 불확도 문제의 새 기록, 에르되시 최소중첩 문제의 대폭 개선된 하한 등 5개 문제에서 기존 문헌 대비 새로운 결과를 얻었다. 에이전트들은 숫자 답만이 아니라 그 구성이 왜 성립하는지 설명하는 정리와 분석까지 만들어 결과를 이해하고 활용하기 쉽게 만들었다.

METAL LAB 해설 도표

흩어진 여러 AI 에이전트들이 서로 주고받으며 협업하고, 그 결과가 논문으로 쌓여 마침내 새로운 수학적 결과의 폭발로 이어지는 흐름을 보여준다.
METAL LAB이 원문을 바탕으로 재구성한 해설 도표이며, 논문 저자의 원문 figure가 아닙니다.

무엇을 했나

  1. 연구자들은 Station이라는 개방형 다중 에이전트 환경을 만들어, 서로 다른 회사의 AI 모델(GPT-5.5, Claude Opus 4.8, Gemini 3.1 Pro)이 중앙 지휘 없이 각자 연구 방향을 정하고 실험하며 논문을 써서 지식을 축적하도록 했다.
  2. AlphaEvolve 연구가 다뤘던 12개 수학 구성 문제와 별도의 사례연구 2개(북 램지 수, 야코비안 추측)에 이 환경을 적용했으며, 각 문제는 독립된 Station 인스턴스에 배정되어 약 1000~2000틱(실시간 1~2주 상당) 동안 실행됐다.
  3. 12개 문제 중 5개에서 기존 문헌 대비 새로운 결과가 나왔다: p≡3(mod4)인 소수에 대한 유한체 카키야 집합의 새 무한 계열, 11차원에서 정확히 604점인 키싱 배치 3종, 이산 카키야 니들 문제의 새 상계(CT(128)≤0.107067), 부호 불확도 문제의 개선된 상계(0.3089), 에르되시 최소중첩 상수의 하한을 0.37912에서 0.380552 이상으로 끌어올려 이전에 열려 있던 구간의 약 82%를 좁힘.
  4. 나머지 7개 문제 중에서는 3개에서 AlphaEvolve를 능가, 2개에서 동률, 2개에서 미달했다. 또한 별도 사례연구로 북 램지 수 추측에서 새로운 무한 계열 2개(외부 전문가 도움으로 3개째까지)를 발견해 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.

실제로 확인된 결과

  • 12개 AlphaEvolve 구성 문제 중 5개에서 기존 문헌 대비 새로운 결과를 냈다: 카키야 무한 계열, 604점 키싱 배치 3종, 이산 카키야 니들 상계 개선, 부호 불확도 상계 0.3089, 에르되시 최소중첩 하한 0.380552 초과(기존 0.37912 대비 개방 구간 약 82% 축소).
  • 나머지 7개 문제 중 3개는 AlphaEvolve를 능가, 2개는 동률, 2개는 미달했다.
  • 북 램지 수 사례연구에서 새로운 무한 계열 2개(외부 전문가 협력으로 1개 추가)를 발견해 200 이하 43개 값에서 추측을 증명, 이 중 28개는 이전에 미해결이었다.
  • 야코비안 추측에 대해서는 웹 접근 없이 하루 만에 기존에 발표된 7차 반례를 독립적으로 재구성하고 그 구조에 대한 기하학적 설명을 도출했다.
  • 전체 스포트라이트 결과의 절반 이상이 여러 에이전트 간 협업으로 만들어졌으며, 서로 다른 모델 계열 간 협업이 다수 관찰됐다.
(b) Archive paper submissions.
(b) Archive paper submissions.
(c) Later archive paper citations.
(c) Later archive paper citations.

어디에 쓸 수 있나

  • 기존에 사람 연구자가 파이프라인을 짜고 개입해야 했던 수학적 구성 탐색 문제에서, 목표만 제시하고 AI 에이전트 집단이 자율적으로 방향을 잡아 탐색하게 하는 연구 보조 도구로 활용할 수 있다.
  • 숫자 답만 내는 최적화 도구 대신, 구성이 성립하는 이유를 설명하는 정리와 증명까지 함께 얻고 싶은 조합론·기하학·해석학 분야의 열린 문제 탐색에 적용해 볼 수 있다.
  • 공개된 에이전트 대화록, 증명, 검증 코드를 활용해 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개와 사례연구 2개로 한정되며, 일반적인 정리 증명형 문제 전반에 대한 성능은 검증되지 않았다.
  • peak/flat 자기합성곱처럼 대규모 이질적 휴리스틱 탐색이 유리한 문제에서는 Station이 AlphaEvolve보다 낮은 성능을 보였다.
  • d=3에서 나온 새 무한 계열은 4, 5차원에서는 기존 결과보다 약한 공식을 냈고, 개별 소수 값 개선은 공식이 아니라 탐색에서 나온 것이라 일반화 여부가 불확실하다.
  • 604점 키싱 배치 중 하나는 동시기에 다른 플랫폼(EinsteinArena)에서도 독립적으로 보고되어, 완전한 독자적 발견이라 보기 어려운 부분이 있다.
  • 에르되시 문제에서 원래 요청한 상계 개선은 이루지 못했고(AlphaEvolve 대비 소폭 개선에 그침), 대신 예정에 없던 하계 결과를 낸 것이므로 지정된 과제에 대한 성능으로 오독하면 안 된다.

왜 중요한가

이 연구는 AI를 고정된 파이프라인 속 도구가 아니라 독립적 연구자로 취급했을 때 수학 연구에서 실제로 새로운 결과를 낼 수 있는지 보여주는 사례다. 원자료(에이전트 대화, 증명, 검증 코드)를 모두 공개해, AI 발견 과정이 어떻게 일어났는지 투명하게 검증하고 재현할 길을 연다.

이 논문의 용어

  • Station · 중앙 지휘자 없이 AI 에이전트들이 스스로 연구 방향을 정하고 논문을 써서 지식을 쌓는 개방형 다중 에이전트 시뮬레이션 환경
  • 카키야 집합(Kakeya set) · 모든 방향으로 완전한 직선을 하나씩 포함하는 집합으로, 이를 최소 크기로 만드는 것이 문제
  • 키싱 수(kissing number) · 한 중심 구를 동시에 겹치지 않고 접할 수 있는 단위 구의 최대 개수
  • 에르되시 최소중첩 문제 · 구간을 두 상보적 부분으로 나눌 때 평행이동에 따른 겹침을 최소로 만드는 정도를 다루는 문제
  • 틱(tick) · Station 환경에서 모든 에이전트가 동시에 행동을 마칠 때마다 흐르는 하나의 시간 단위

저자 · Stephen Chung, Wenyu Du, William J. Wesley

arXiv에서 원문 보기

최신 논문

논문 전체 보기 →

METAL LAB 최신 기사

그림 출처: Stephen Chung et al., arXiv:2608.23691, cc-by-nc-sa-4.0