当 LLM 冲击数学证明：社区激辩数学的未来与专家特权

Lolsebca · reddit · 2026-09-26

Reddit 用户就 LLM 长上下文与数学证明能力引发的讨论展开思考：陶哲轩（Terence Tao）等数学家已开始公开讨论 AI 对数学的影响，他认为应保留部分挑战留给人类，以培养未来的数学家；Cédric Villani 也有相关演讲，Navier-Stokes 相关的 AI 求解传闻仍存争议。

作者预判将出现双重分化：懂数学或愿意学的人可以借助 LLM 和 AI 生成的教学资源与 AI 并行学习，并具备审校 AI 数学结果的能力；而缺乏背景的人将被甩下。他担心「会判断的人」将获得新的特权，认为批判性思维和人文学科背景反而会更受重视，同时承认这一二元模型对数十亿人来说会远比想象中复杂。评论区围绕 AI 时代数学教育的价值展开讨论。