多智能体系统自主恢复 homology 概念：AI4Math 从证明既有定理推进到发现数学概念

Aggarwal、Kim、Ek 与 Mishra 提出一个面向 computational mathematical discovery 的 multi-agent system：系统自己提出猜想、寻找证明和反例，并根据反馈持续调整数据分布。作者用“从 polyhedral data 与 linear algebra 知识中自主恢复 homology 概念”作为核心任务，系统成功完成这一学习问题；消融实验支持 conjecture/proof/counterexample 动态协同对数学 interestingness 的重要性。