이 논문은 대회형 수학이나 정형 정리증명 대신, 장기 추론·문헌 근거·반복적 증명 수정이 필요한 연구 문제를 겨냥했어요

RMA라는 AI 에이전트 시스템이 연구급 수학 문제 10개 중 8개를 풀었다고 발표했어요.

이 논문은 대회형 수학이나 정형 정리증명 대신, 장기 추론·문헌 근거·반복적 증명 수정이 필요한 연구 문제를 겨냥했어요. 구조화 메모리를 공유하는 initializer·proposer·verifier 에이전트가 다회차로 협업해요.

평가는 수학 전문가가 만든 First Proof 벤치마크(10문제)에서 진행됐고, GPT-5.2R과 Aletheia 같은 강한 베이스라인보다 논리성과 가독성에서 더 좋은 증명을 냈다고 해요. 핵심 성능 향상은 단일 기능이 아니라 모듈 결합+반복 개선+검증 피드백의 상호작용에서 나왔다고 밝혔어요.

AI가 정답 맞히기를 넘어, 연구 과정 자체를 분업·검증하는 방향으로 진화하고 있다는 신호예요.