Math Research Agent
An autonomous multi-agent system that plans proof strategies, explores branches, hunts counterexamples, verifies claims, and preserves an auditable research trail.
An autonomous multi-agent system that plans proof strategies, explores branches, hunts counterexamples, verifies claims, and preserves an auditable research trail.
Log in or sign up for Devpost to join the conversation.