{"id":"arxiv/2608.15052","url":"https://arxiv.org/abs/2608.15052","tags":["cs.AI","math.OC"],"score":0,"title":"Andy: A Mathematical Agent for Rigorous Proof and Autonomous Research","domain":"cs.AI","source":"arxiv","authors":["Zi'an Wang"],"reviews":0,"subject":"cs.AI","summary":"Andy is an autonomous mathematical research agent that turns a mathematical problem into a traceable proof. It solves or verifies a submitted problem, formulates a literature-grounded new problem through a research-value gate, and carries it through proof construction and final verification. It organizes proof steps in an executable DAG, verifies each step independently and binds the result to a certificate, retains verified work whose interfaces remain unchanged during local repair, and records the full path from problem formulation to final proof. The system separates proof generation from…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-08-15","reactions":{}}