computer-algebra

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

Symbolica 2.0是面向Python和Rust的符号计算框架的重大版本，引入了可编程符号、改进的Rust API、更丰富的输出格式（HTML、Typst、彩色）、用于求值的JIT编译以及更好的易用性。