AI都能证明数学猜想了，初中数学，要学的是“思考本身”

前两天，朋友圈被一条消息刷屏：AI 在挂谷猜想（Kakeya Conjecture）相关难题上取得重大突破，OpenAI 研究团队一口气产出数百页形式化数学手稿，拿下多个长期悬而未决问题的阶段性结果。

不少家长看完一下子慌了：“以后数学是不是不用学了？AI 连猜想都能证明，孩子刷题还有什么意义？”

也有学生直接问：“老师，AI 都会做数学了，我中考数学还有必要拼命吗？”

我的回答恰恰相反：AI 越擅长解题，初中数学就越不能只盯着 “算出答案”。

但先别焦虑，也别急着放下笔。很多人，其实误读了这条新闻。

一、AI 没有 “一夜灭掉” 数学猜想，只是改变了游戏规则

先把事实说清楚：AI 并没有一夜之间证明完所有数学猜想。 真实情况是：OpenAI 团队结合大模型与 Lean 形式化验证工具，在四维挂谷极大函数问题、Ghys 猜想等难题上拿到了实质性进展。但这是典型的人机协同成果：AI 负责在海量推演路径里试算、筛选、排查；数学家负责提出好问题、判断方向、完成最终严谨的验证。

菲尔兹奖得主陶哲轩也曾说：AI 不会让数学家失业，而是把人从枯燥重复的推演里解放出来，把精力放在更有价值的地方 —— 提出好问题。

丘成桐先生也反复强调：数学的核心从来不是得到答案，而是理解为什么要这么想。

所以数学圈内人大多并不悲观。数学研究本是一条完整链条：提出猜想、反复试错、严谨证明、诞生新方法，而不是一个简单的问答。有时候，同一道命题的不同证法，甚至能生长出全新的数学分支。

AI 拿到正确答案的成本会越来越低，但依托推导训练出来的思维能力，无法直接复制。

一句话说透： 答案可以交给 AI，思维只能靠自己练；AI 直接给到终点，人要修炼的是寻找路线的能力。

而这一点，刚好和近些年初中数学、中考改革的方向对上了。

二、中考早就不再比拼 “谁算得快”

很多家长还带着自己读书时的固有印象：数学 = 刷题、背题型、比拼计算速度。 如果仔细翻看近几年各地中考数学试卷，变化其实一目了然：

1. 情境化题目变多，阅读量显著上升。以福建中考为例，数学卷文字量从早年约 2000 字，涨到接近 3000 字。题目包裹在真实场景里：无人机测距离、坡道设计、统计风速、商场促销比价…… 学生先要读懂文字，剥离无关描述，识别条件，画出示意图，再转化成三角函数、函数或者方程模型。难点不在计算，而在翻译。
2. “无情境不命题、无思维不命题” 逐渐成为命题共识。各地中考都在提高应用性、探究性、综合题的占比。考试不再是单纯让你 “解一个方程”，而是考验：你能不能从一大段生活化描述里，识别出这本质上是一个数学问题。
3. 难度分层清晰，压轴题重在思维探究。大部分地区维持 6:3:1 或者 7:2:1 的难度结构，基础题占大头，保证大部分学生拿到保底分；拉开差距的压轴题，看重综合迁移、建模、分步说理，甚至尺规作图，不只要求画出来，还要讲清背后的依据。

中考筛选的，早已不是刷题最多、背题型最熟的孩子，而是能在陌生表述里，看透底层数学结构的人。 这恰恰是 AI 的短板：AI 擅长匹配熟悉题型、快速求解；但把一段模糊的现实描述，提炼成严谨的数学问题，这个建模的第一步，非常依赖人的理解、筛选、抽象能力。

三、初中数学，该换这一套学法

空讲 “培养数学思维” 很容易流于口号，这里给六个可以直接落地的动作：

① 学概念，多追问 “为什么”。不要死背 SAS 全等判定，要能说清：为什么两边及其夹角确定，三角形形状大小就固定；不要直接套二次函数顶点式，要明白 h、k 为什么对应顶点坐标。吃透底层逻辑，题目怎么包装变式都不容易慌。

② 解题不跳步，写清每一步的依据。中考有大量步骤分，“会做” 不等于拿满分。平时练习养成习惯：每一步标注依据，是勾股定理、等量代换，还是分类讨论？做完可以自言自语讲一遍思路，能自洽地讲明白，才算真理解。

③ 长情境题，先圈信息再动笔。拿到文字很长的应用题，先圈三件事：未知量是什么、限制条件是什么、核心问题是什么。把生活化语言翻译成数学语言，这就是在刻意练习建模能力 —— 也是 AI 时代最稀缺的能力。

④ 追求一题多解、一题多变，拒绝机械重复刷题。同一道题，换背景、换设问角度，试着换思路去解。与其刷一百道高度雷同的题，不如吃透三道典型题，做到做一道、通一类。

⑤ 复盘错题，分清错在哪一层。错误分四类：概念理解偏差、模型构建失败、分类讨论遗漏、单纯计算失误。不同类型，补救方式完全不一样。整理错题，不要只订正答案，重点定位思维卡点。

⑥ AI 做陪练，坚决不做抄答案机器。不必一刀切禁止孩子使用 AI，关键是定下使用规则：不直接索要最终结果。卡住的时候，可以问：“我这一步思路卡了，请给一点提示”“帮我检查这段推理有没有逻辑漏洞”。能对着 AI 完整讲出自己的思路，才是有效的学习。

四、送给家长的三句实在话

第一，别再把 “算得快” 等同于数学好。 计算麻利是基本功，但不再是核心竞争力。AI 的计算速度和准确率远超任何人。比起速度，更要观察孩子能不能先想清楚思路，再动笔计算。慢一点没关系，思路优先。

第二，计算基本功依然不能丢。 虽然比拼计算速度没有意义，但运算是整套数学思维的地基。中考六七成基础题，都依赖稳定准确的计算。地基不稳，再好的思路也很难落地得分。

第三，检验掌握程度最简单的办法：让孩子讲题。 能不能顺畅讲清楚 “为什么这么想”，比试卷上多拿几分更重要。能讲出来，代表他走完了完整推理链条，真正理解了。这种能力，很难被 AI 替代。

写在最后

AI 攻克挂谷猜想相关难题的时候，很多数学家并没有焦虑。因为他们清楚，数学从来不是一本巨大的题库，而是一套认识世界、拆解问题、严谨推理的思考方式。

初中数学也是同理。 表面上，它教一元二次方程、全等证明、函数图像；底层，它在训练几件事：从杂乱信息里抓取关键，把复杂大问题拆成小步骤，走不通时主动换思路，还要学会验证结果是否合理。

这些能力，AI 给不了，却是 AI 时代最需要的。 未来最不缺的是答案，稀缺的是会提问、会甄别、会独立思考的人。初中这三年，正是打磨这份能力的黄金期。

不必恐慌焦虑，笔拿稳，继续学。只是学习的重心，要悄悄换一换了。