数学推理

数学推理指AI模型处理数学问题、证明定理和进行符号计算的能力，应用于教育、科研和工程领域。