大模型的数学能力：会做题≠会思考

大模型能解奥数题，却会在“9.11 和 9.8 哪个大”上翻车。它的数学能力是模式匹配而非符号推理——看起来会做题，其实是在模仿见过的解题格式。

这个现象最能说明当前 AI 的本质：它擅长格式与模式，不擅长真正的逻辑。会做奥数题与会思考是两件事——前者可以靠模仿，后者需要因果理解。对 AI 的能力保持清醒，才能用对地方。

## 核心要点

图片来源：Openverse / National Institutes of Health (NIH)（https://www.flickr.com/photos/132318516@N08/40541158751）

1. 小数比较翻车源于 token 化把数字切成了文本片段。

2. 思维链提示能显著提升多步推理表现。

3. 代码解释器让模型真正“算”而非“猜”。

4. 形式化验证是判断其推理正确性的可靠方法。

图片来源：Openverse / jiuguangw（https://www.flickr.com/photos/32366606@N00/4981810673）

## 写在最后

以上是关于「大模型的数学能力」的科普介绍。人工智能正在快速发展，相关概念和方法也在不断演进。希望本文能帮你建立对这一主题的基本认识。