AI 에이전트들이 수학 난제 5개를 스스로 발견했다
Autonomous Mathematical Discovery in an Open-World Multi-Agent Environment
오픈월드 멀티에이전트 환경 'Station'에서 서로 다른 모델 계열의 AI 에이전트들이 중앙 조정자나 스크립트된 파이프라인 없이 공동 연구 목표를 추구하며 수학적 발견을 자율적으로 수행했다. AlphaEvolve 카탈로그의 12개 구성 문제와 2개의 추가 사례 연구 중 5개 문제에서 기존 문헌에 없는 새로운 결과를 얻었다: 유한체 Kakeya 집합의 새로운 무한 패밀리, 11차원에서의 새로운 정확한 604점 키싱 구성, 이산화 Kakeya 바늘 및 부호 불확정성 문제의 신기록, Erdős의 최소 중첩 문제에 대한 크게 개선된 하한, 그리고 Book Ramsey 수에 대한 새로운 무한 패밀리다. 에이전트들은 수치적 구성뿐만 아니라 그 작동 방식을 설명하는 정리와 분석도 생성하여 결과의 해석 가능성을 높였다. 모든 원시 에이전트 대화, 증명, 검증 코드가 공개되어 발견 과정을 투명하게 공개한다.
에이전트들은 수치적 구성뿐만 아니라 그러한 구성이 어떻게 작동하는지 설명하는 정리와 분석도 생성하여, 결과를 더 해석 가능하게 만들고 수학자들이 이를 바탕으로 더 쉽게 확장할 수 있게 했다.
HN 토론
23- dash2
에이전트들은 또한 주기적으로 휴가를 받았는데, 그 기간 동안에는 진행 중인 작업을 제쳐두고 열린 사고를 장려하기 위해 설계된 무작위 프롬프트를 받았다. 우리가 사는 세상 참 대단하다. 이 사람들은 AI를 위한 케임브리지 교수 휴게실을 재창조했다.
- anigbrowl
그레그 이건의 《순열 도시》를 아직 읽지 않았다면, 이 토론을 클릭했다는 사실 자체가 그 책에서 많은 것을 얻을 수 있다는 뜻이다.
- StrauXX
이거 LessWrong의 이 글과 많이 닮았네. https://www.lesswrong.com/posts/znbfRXHq285nS7NAh/the-terrar...