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

Abstract: Artificial intelligence (AI) provides mathematicians with new tools and methods, accelerat- ing the exploration of mathematical problem-solving and proofs. This paper first introduces mainstream mathematical reasoning tools and reasoning datasets. Mathematical reasoning tools not only improve the efficiency of solving complex mathematical problems but also provide structured inputs for AI models to facilitate the integration of machine and mathematical thinking. Reasoning datasets, including mathematical knowledge bases and public data resources, supply AI models with abundant mathematical knowledge, supporting model training and automated reasoning. Secondly, this paper explores various approaches to AI-assisted mathematical reasoning, such as automated reasoning and model-accelerated problem-solving. Thirdly, it discusses the importance of collaborative cooperation between AI and mathematicians-human- machine collaboration enhances the efficiency and accuracy of mathematical research. Finally, this paper concludes with a summary of the multiple approaches and mechanisms through which AI empowers mathematical research, and looks forward to a new era of intelligent mathematical research.

Key words: mathematical reasoning tool, mathematical dataset, AI-assistant method, human-machine collaboration