This chapter provides an overview of the different Artificial Intelligence (AI) systems that are being used in contemporary digital tools for Mathematics Education (ME). It is aimed at researchers in AI and Machine Learning (ML), for whom we shed some light on the specific technologies that are being used in educational applications; and at researchers in ME, for whom we clarify: i) what the possibilities of the current AI technologies are, ii) what is still out of reach and iii) what is to be expected in the near future. We start our analysis by establishing a high-level taxonomy of AI tools that are found as components in digital ME applications. Then, we describe in detail how these AI tools, and in particular ML, are being used in two key applications, specifically AI-based calculators and intelligent tutoring systems. We finish the chapter with a discussion about student modeling systems and their relationship to artificial general intelligence.

翻译：本章概述了当代数学教育数字工具中正在使用的不同的人工智能系统(AI),针对的是AI和机器学习(ML)的研究人员,我们向他们介绍了教育应用中所使用的具体技术;以及教育部的研究人员,我们为他们澄清了:一)目前AI技术的可能性是什么,二)目前还无法获取哪些技术,三)近期内将预期什么。我们首先对作为数字ME应用组成部分的AI工具进行高级别分类分析。然后,我们详细描述这些AI工具,特别是ML,在两个主要应用中是如何使用的,特别是基于AI的计算器和智能辅导系统。我们最后的一章是关于学生建模系统及其与人造一般情报的关系的讨论。