sagemath

本文提出了一种ReAct风格的智能体设置，将LLM推理与SageMath的可验证反馈相结合，并在研究级数学问题上进行了评估。结果显示，各模型性能显著提升，其中GPT-5.5取得了最高的75.2%解题率。