清华教授称数学界被AI冲垮看到“冲垮”两个字,先别急着得出“数学不用学了”的结论。
AI正在改变数学研究的节奏,但生成一份看起来完整的证明,距离证明真正成立,中间还有严谨的核验。
清华官网相关报道里,有一个值得关注的分工:AI辅助探索证明策略、简化计算,数学家负责构思、核验和完成论证。
这给普通人的提醒也很直接:当答案越来越容易得到,提出好问题、识别错误、理解为什么,反而更重要。
可以用AI帮你解题,也试试让它解释每一步依据,再亲手找一次漏洞。
答案越多,判断越贵。
你觉得未来的数学课,最应该加强哪一种能力?
