Return to Article Details 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 Download Download PDF