数学推理优化