人工智能时代的初等数学研究

摘要

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