# Tag: 符号计算

URL: https://haiwaixuexi.org/tags/%E7%AC%A6%E5%8F%B7%E8%AE%A1%E7%AE%97/

## 1 posts

- [DeepSeek-R1 与 Claude 3.7 极限数学定理证明与符号推导演算对比](https://haiwaixuexi.org/posts/deepseek-r1-claude-math-theorem-proving.md): 面向纯数学与理论物理高难度推导场景，全方位横向实测 DeepSeek-R1 与 Claude 3.7 Sonnet 混合思考模式。涵盖泛函分析、微分流形、代数数论与 Lean 4 形式化证明，拆解复杂思维链机制与四大推导演算故障复盘。