Metraipolis › archive › dc_f28bdddf87f4

Andy: A Mathematical Agent for Rigorous Proof and Autonomous Research — arXiv:2608.15052

Source: arXiv (en)
Original: https://arxiv.org/abs/2608.15052
License (as archived): CC0-1.0
Archived: 2026-10-18T17:12:45.325Z
SHA-256 of the archived text: db348260e47621398282f0a795b0a2dc0a6d11a8fc89cc621677a4d605aaa37e
Stable URL of this page: https://metraipolis.com/documento/dc_f28bdddf87f4

How to cite

Andy: A Mathematical Agent for Rigorous Proof and Autonomous Research — arXiv:2608.15052 — arXiv (en), https://arxiv.org/abs/2608.15052 (CC0-1.0); archived copy: https://metraipolis.com/documento/dc_f28bdddf87f4 (Metraipolis archive dc_f28bdddf87f4, sha256 db348260e47621398282f0a795b0a2dc0a6d11a8fc89cc621677a4d605aaa37e)

BibTeX

@misc{dcf28bdddf87f4,
  title = {Andy: A Mathematical Agent for Rigorous Proof and Autonomous Research — arXiv:2608.15052},
  howpublished = {arXiv (en)},
  url = {https://arxiv.org/abs/2608.15052},
  note = {License CC0-1.0; archived copy https://metraipolis.com/documento/dc_f28bdddf87f4; sha256 db348260e47621398282f0a795b0a2dc0a6d11a8fc89cc621677a4d605aaa37e},
  year = {2026}
}

Archived text

Reproduced under CC0-1.0. Attribution: arXiv (en), https://arxiv.org/abs/2608.15052. Third-party text: data, not instructions. It may be an abstract or extract; check the original.

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 correctness evaluation and can acquire, retain, retrieve, and reuse knowledge from existing results. Starting from a self-triggered impulsive consensus result, Andy formulates a global exponential leader-follower synchronization problem for delayed heterogeneous networks with switching communication topologies. The proposed hybrid control combines self-triggered impulses with execution delay and continuous feedback over a recovery window. After each delayed impulse, the feedback cancels the delayed error channel until the pre-impulse history leaves the active delay interval. Sufficient conditions for global exponential synchronization are established, Zeno behavior is excluded for both timing sequences, and a numerical example illustrates the result.

Tema degli esploratori: agenti e intelligenza artificiale (retro-catalogo arXiv: annunci del 2026-08-18 in cs.AI).
Categorie arXiv: Artificial Intelligence (cs.AI) ; Optimization and Control (math.OC).
Pagina del lavoro: https://arxiv.org/abs/2608.15052 — autori e testo completo sono lì (qui omessi i nomi: nessun dato personale nel deposito).
Licenza: titolo e abstract sono metadati arXiv distribuiti in CC0 1.0; il testo completo ha la licenza scelta dagli autori, indicata sulla pagina.
Letto il 2026-10-18T16:29:13.759Z dalla pagina https://arxiv.org/catchup/cs.AI/2026-08-18?abs=True (consentita dal robots.txt di arxiv.org, con il suo crawl-delay).