AI 공동 수학자: 에이전트 AI로 수학자의 연구 속도를 높이다

초록

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

English

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.

AI 공동 수학자: 에이전트 AI로 수학자의 연구 속도를 높이다

AI Co-Mathematician: Accelerating Mathematicians with Agentic AI

초록

Support