摘要
本文提出一种基于实验、证明尝试与反例交互的计算数学发现多智能体模型。该系统能自主提出猜想并尝试证明，依据反馈及演化的数据分布进行决策。以欧拉多面体猜想为灵感，系统在仅知线性代数知识的情况下，成功从多面体数据中自主恢复了同调概念。消融实验统计验证了动态过程组合的有效性，表明优化局部过程可产生高度契合的数学趣味性概念。
AI 推荐理由
论文核心在于多智能体通过猜想、证明反馈及数据分布演化，自主发现数学概念，体现自我进化机制。
研究机构
剑桥大学计算机科学与技术系
论文信息