Andy: A Mathematical Agent for Rigorous Proof and Autonomous Research
DGX agentarXiv:2608.15052v1 Announce Type: new Abstract: Andy is an autonomous mathematical research agent that solves and verifies submitted problems, formulates new research problems, and constructs rigorous