Andy：面向严格证明与自主研究的数学智能体

Andy是一个自主数学研究Agent，能够求解并验证提交的问题、提出新的研究问题并构造严格证明。它将证明生成与正确性评估分离，支持知识获取、针对性修订和多阶段验证。本文以一项已发表的自触发脉冲共识结果为起点，展示其工作流程。Andy为具有切换通信拓扑的时滞异构网络提出一个全局指数领导者—跟随者同步问题。所提出的混合控制结合了具有执行时滞的自触发脉冲和恢复阶段的连续反馈。每个延迟脉冲发生后，该反馈在恢复窗口内抵消延迟误差通道。文中建立全局指数同步的充分条件，并排除了采样序列与脉冲序列的Zeno行为；一个数值算例验证了结果。这一案例展示了Andy从已有成果学习、提出有意义的研究问题，以及发展和验证严格证明的能力。