스타플릿 매스(Star Fleet Math)가 인공지능(AI) 시스템을 활용해 수학계의 오랜 난제 중 하나인 에르되시(Erdős) 문제 19개에 대한 해법을 제안했다고 발표했습니다. 이 시스템은 20개의 AI 에이전트가 동시에 작동하며, 각각의 에이전트는 전용 서버에서 GPT-5.6 인스턴스를 실행하며 개별 수학 문제에 집중합니다. 이는 AI가 인간의 개입 없이도 복잡한 수학적 추론과 문제 해결 능력을 갖출 수 있음을 시사합니다.
스타플릿 매스는 맥(Mac) 데스크톱 앱으로, '스타십(starships)'이라 불리는 20개의 맞춤형 에이전트 하네스를 병렬로 제어합니다. 각 스타십은 60-vCPU 서버에서 GPT-5.6 인스턴스를 구동하며, 최대 2,000 vCPU의 x86-64 CPU 버스트와 H100 GPU 버스트를 활용해 방대한 검색 작업을 수행합니다. 또한, 리언 4(Lean 4) 정리 및 보조정리(lemma) 데이터베이스, arXiv.org 논문 및 GitHub 저장소 색인, 그리고 클로드 페이블(Claude Fable) API 기반의 증명 검증 에이전트 등 다양한 도구와 자원에 접근할 수 있습니다. 특히, 검증된 리언 4 전제들을 의존성 그래프로 엮어 장기 기억으로 활용하는 '톤 618(Ton 618)' 시스템은 복잡한 증명을 쌓아 올리는 데 핵심적인 역할을 합니다.
이번 성과는 AI가 단순히 데이터를 분석하는 것을 넘어, 추상적이고 논리적인 사고를 요구하는 고등 수학 분야에서도 의미 있는 기여를 할 수 있음을 보여줍니다. 특히, 에르되시 문제와 같은 난제는 수십 년간 많은 수학자를 좌절시켜 왔기에, AI의 이러한 해결 능력은 수학 연구 방식에 새로운 패러다임을 제시할 수 있습니다. 이는 AI가 과학 연구의 속도를 가속화하고, 인간이 해결하기 어려웠던 문제들에 대한 새로운 통찰력을 제공할 가능성을 열어줄 것으로 기대됩니다.