摘要

<正>纯数学研究工作的关键目标之一是发现数学对象间的规律,并利用这些联系形成猜想。从20世纪60年代开始,数学家开始使用计算机帮助发现规律和提出猜想,但AI系统尚未普遍应用于理论数学研究领域。