수학AI on TechLLMhttps://techllm.github.io/tags/%EC%88%98%ED%95%99ai/Recent content in 수학AI on TechLLMHugokoMon, 25 May 2026 18:06:00 +0900AI가 연구 수준 수학 문제를 푼다 — RMA 에이전트 시스템 논문 분석https://techllm.github.io/posts/rma-research-math-agents-agentic/Mon, 25 May 2026 18:06:00 +0900https://techllm.github.io/posts/rma-research-math-agents-agentic/경쟁 수학이나 형식 증명을 넘어, 실제 연구자들이 다루는 난도의 수학 문제를 AI 에이전트 팀이 자율적으로 풀어낸다. GPT-5.2R과 Aletheia를 넘어선 RMA 프레임워크를 해부한다.