计算机工程与科学

作者：杨凯翕, 陈昕怡, 阚志刚, 韩旭, 赵宝康, 乔林波

单位：（1.国防科技大学计算机学院,湖南 长沙 410073;2.南开大学数学科学学院，天津 300071;3.清华大学计算机科学与技术系，北京 100084）

关键词：数学推理工具,数学数据集,人工智能辅助方法,人机协作,

基金：国家自然科学基金（U22B2005）

人工智能（AI）为数学家提供了新的工具和方法，可以加速数学问题求解与证明的探索。首先介绍主流的数学推理工具和推理数据集。数学推理工具不仅提高了复杂数学问题的求解效率，也为人工智能模型提供了结构化输入以促进机器与数学思维的结合。推理数据集包括数学知识库以及公开数据资源，它们为人工智能模型提供了丰富的数学知识，支持模型训练和自动化推理。其次，探讨人工智能辅助数学推理的多种途径，包括自动化推理和模型加速求解等。再次，讨论了人工智能与数学家协同合作的重要性，人机协作将提高数学研究的效率和准确性。最后，对人工智能赋能数学研究的多种途径和机制进行总结，并展望智能化数学研究的新方向。

来源：2025年第11期

《计算机工程与科学》期刊编辑部

查看计算机工程与科学杂志2025年第11期