Definition
A multi-agent AI system from Georgia Tech that solves research-level math problems.
Research-Math Agent, a Georgia Tech agentic system using initializer, three proposers, three verifiers, structured shared memory, and six specialized modules over Claude Opus 4.6 to attack First Proof benchmark problems.