彭翕成 曹洪洋

【摘 要】基于使用工具的不同，文章将初等数学研究划分为“石器时代”“农业时代”“智能时代”三个阶段，智能时代需要智能工具，智能工具的产生取决于数学现代化的实现，其中数学机械化研究是实现数学现代化的关键。基于目前的数学机械化研究成果，结合中学数学的实际需求，文章列举了丰富的实例，涉及平面几何、不等式、三角函数等内容，充分展示人工智能在探索数学结论、自动命题等方面的应用。

【关键词】人工智能;初等数学;数学机械化;自动命题

【作者简介】彭翕成，博士，数学科普作家，主要从事数学文化传播和数学教育技术的普及;曹洪洋，主要从事计算机辅助数学探索研究。

一、研究背景

1950年，图灵在论文《计算机器与智能》中提出“机器能否像人一样思考？”的问题[1]，引起较大反响。1956年，麦卡锡、香农、明斯基等科学家在美国发起举行达特茅斯会议，首次提出“人工智能”，希望能模仿或扩展人类学习以及其他方面的智能，发展类人智能机器，标志着一门新兴学科正式诞生[2]。之后几十年，人工智能发展起起落落[3]，有过发展繁荣，也曾遭遇瓶颈，但最终于近年大放异彩。继1997年超级计算机深蓝战胜国际象棋世界冠军之后，2016年，阿尔法围棋（AlphaGo）击败人类围棋世界冠军，人机博弈举世瞩目。因此，有专家称，人工智能时代已经到来。

2017年至2019年，人工智能连续三年被写入我国《政府工作报告》。为抓住人工智能发展机遇，国务院印发《新一代人工智能发展规划》，系统部署了我国人工智能发展的总体思路、战略目标、主要任务及保障措施，在2030年抢占人工智能全球制高点。……