# Tag: 数学推导

URL: https://haiwaixuexi.org/tags/%E6%95%B0%E5%AD%A6%E6%8E%A8%E5%AF%BC/

## 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 形式化证明，拆解复杂思维链机制与四大推导演算故障复盘。