판 이력 — RMA: an Agentic System for Research-Level Mathematical Problems | AIChainDay