כתבה
arXiv cs.AI ·
RMA: סוכנים מתמטיים למחקר
RMA: Context-Orchestrated Research Math Agents
RMA הוא סוכנות לפיתוח הוכחות מתמטיות. הוא משתמש בארכיון מחקר ובתזמון הקשר לניהול מצב סמנטי. RMA השיג 42.5% קצב פתרון באתגר SOOHAK Challenge Hard.
תקציר מקורי באנגליתarXiv:2605.22875v2 Announce Type: replace Abstract: Long-horizon mathematical reasoning fails less often because a model cannot produce a valid next step than because an agent fails to maintain and expose the right semantic state across many iterations. Left unmanaged, this produces research-level proofs that are locally convincing yet globally incomplete: a key lemma unproved, an assumption unchecked, a citation unsupported, or a computational claim unverified. We present Research Math Agents (RMA), an agentic framework for long-horizon proof development built around a persistent, typed research store and an orchestrator that compiles operation-specific context from that store. The Research Context Orchestrator is the central state-management layer between the persistent research store an
קרא במקור המקורי
arxiv.org
פתח כתבה מקורית