Andy: Agente Matematico Autonomo per Prove Rigorose e Ricerca

Andy è un agente autonomo focalizzato sulla ricerca matematica, capace di risolvere e verificare problemi, creare nuove domande di ricerca e sviluppare prove rigorose. Distingue tra generazione di prove e valutazione della loro correttezza, facilitando l'acquisizione di conoscenze, revisioni mirate e verifica multistadio. Lo studio illustra il processo di Andy utilizzando un risultato precedentemente pubblicato sul consenso impulsivo auto-innescato. Formula un problema di sincronizzazione leader-seguace esponenziale globale per reti eterogenee con ritardi e topologie di comunicazione variabili. Il controllo ibrido proposto integra impulsi auto-innescati con ritardi di esecuzione e feedback continuo durante le fasi di recupero. Questo feedback elimina il canale di errore ritardato dopo ogni impulso all'interno di una finestra di recupero. Vengono definite le condizioni per la sincronizzazione esponenziale globale e viene escluso il comportamento di Zeno sia per le sequenze di campionamento che per quelle di impulso. L'articolo è disponibile su arXiv con identificativo 2608.15052.