Investigation of recent advances related to AI in mathematics education

Abstract

The integration of mathematics and Artificial Intelligence (AI) is an immensely promising field, making a comprehensive overview in this domain highly essential. This article provides an overview of two methodologies: Sofia and ITS. Sofia is an AI mathematical analysis model that engages in dialogues with multiple components and robots, performing calculations by processing sentences through Unix file system paths. ITS, on the other hand, is an intelligent tutoring system, comprising domain, student, tutor, and interface components, facilitating interactions within the teaching and learning processes. This article intricately delineates the implementation and functionalities of these two methodologies, encompassing their constituents, applications, and limitations. The applications of these methodologies are far-reaching in both mathematics and AI domains. For instance, in the realm of education, ITS can furnish personalized learning experiences by offering feedback and suggestions tailored to students' knowledge and behaviors. In the arena of mathematical analysis, Sofia can aid in analyzing and solving intricate mathematical problems, rendering support and guidance to students and professionals alike. In conclusion, this article offers a comprehensive overview of the amalgamation of mathematics and AI, introducing the implementations and applications of the Sofia and ITS methodologies. These approaches hold substantial potential within the fields of mathematics and AI, providing valuable references for future research and applications.