AI 공동 연구원: 에이전트 기반 AI를 활용하여 수학자들의 연구 속도 향상

AI Co-Mathematician: Accelerating Mathematicians with Agentic AI

본 논문에서는 AI 공동 연구원이라는 새로운 시스템을 소개합니다. 이 시스템은 수학자들이 AI 에이전트와 상호 작용하며 개방형 연구를 수행할 수 있도록 설계된 환경입니다. AI 공동 연구원은 아이디어 구상, 문헌 검색, 계산 탐색, 정리 증명 및 이론 구축을 포함하여 수학적 워크플로우의 탐색적이고 반복적인 특성을 포괄적으로 지원하도록 최적화되어 있습니다. 이 시스템은 불확실성을 관리하고, 사용자의 의도를 명확히 하며, 실패한 가설을 추적하고, 수학적 산출물을 생성하는 비동기식, 상태 기반 작업 공간을 제공하여 인간의 협업 워크플로우를 모방합니다. 초기 테스트 결과, AI 공동 연구원은 연구자들이 난제 해결, 새로운 연구 방향 발굴, 간과된 문헌 자료 발견에 도움을 주었습니다. AI 공동 연구원은 AI 지원 수학적 발견을 위한 매우 상호 작용적인 패러다임을 보여줄 뿐만 아니라, FrontierMath Tier 4에서 48%라는 최고 점수를 기록하는 등 어려운 문제 해결 벤치마크에서 최첨단 결과를 달성했습니다. (이는 평가된 모든 AI 시스템 중 최고 점수입니다.)

We introduce the AI co-mathematician, a workbench for mathematicians to interactively leverage AI agents to pursue open-ended research. The AI co-mathematician is optimized to provide holistic support for the exploratory and iterative reality of mathematical workflows, including ideation, literature search, computational exploration, theorem proving and theory building. By providing an asynchronous, stateful workspace that manages uncertainty, refines user intent, tracks failed hypotheses, and outputs native mathematical artifacts, the system mirrors human collaborative workflows. In early tests, the AI co-mathematician helped researchers solve open problems, identify new research directions, and uncover overlooked literature references. Besides demonstrating a highly interactive paradigm for AI-assisted mathematical discovery, the AI co-mathematician also achieves state of the art results on hard problem-solving benchmarks, including scoring 48% on FrontierMath Tier 4, a new high score among all AI systems evaluated.