AI가 연구 수준 수학 문제를 푼다 — RMA 에이전트 시스템 논문 분석
개요 AI가 수학 올림피아드 문제를 풀 수 있다는 건 이제 놀랍지 않다. 하지만 현역 수학자들이 연구하는 수준의 문제라면 어떨까? Georgia Tech과 공동 저자들이 발표한 RMA(Research Math Agents) 는 문헌 탐색·지식 구축·반복 검증을 아우르는 멀티에이전트 프레임워크로, First Proof 벤치마크 10문제 중 8개를 해결하며 GPT-5.2R과 Aletheia를 넘어섰다. ...