A Review of the Integration of Basic Large Language Models and Mathematical Reasoning Capabilities: Taking the Application of GPT Series in Mathematical Theorem Proving and Equation Solving as an Example

Abstract

This article focuses on the integration research of basic large language models and mathematical reasoning capabilities, taking the application of the GPT series models in mathematical theorem proving and equation solving as the entry point. By sorting out the development trajectory of the GPT series models, analyzing the key technological breakthroughs in their application in the field of mathematics, exploring their specific performance in mathematical theorem proving and equation solving, revealing the current challenges faced by fusion research, and looking forward to the future development direction, the aim is to provide theoretical references for promoting the further development of large language models in the field of mathematical reasoning.