RMA: Ein agentenbasiertes System für mathematische Probleme auf Forschungsniveau

arXiv:2605.22875v1 Ankündigung Typ: neu Abstract: Wir präsentieren Research Math Agents (RMA), ein agentenbasiertes Framework für automatisiertes Reasoning bei mathematischen Problemen auf Forschungsniveau. Anders als frühere Studien, die sich auf Wettbewerbsmathematik oder formales Theorem Proving konzentrieren, zielt RMA auf Mathematik auf Forschungsniveau ab