速報 RMA：代理人協作框架攻克研究級數學證題 ArXiv 提出 Research Math Agents（RMA），一套專為研究級數學問題設計的代理人化自動推理框架。RMA 將證題求解拆解為問題分析、文獻檢索與理解、公平比較、知識庫建構與證明驗證等專責模組；
