脉穗成长计划
数学家有个老笑话：数学家就是一台把咖啡变成定理的机器。现在AI来了，这台机器得升级了——不是被取代，而是换个活法。讲三个最直观的变化。干活的方式变了。以前算一个积分，翻手册查公式，现在你问AI，它一秒给你三种解法。数学家现在更像指挥官，让AI去穷举、去验证、去处理海量数据，自己只干两件事——挑哪个问题值得做和判断AI给出的结果靠不靠谱。DeepMind有个叫FunSearch的项目，AI生成候选代码，数学家从中提炼规律，就是这么分工的。证明的标准松动了。四色定理当年靠计算机验证，争议很大，现在大家习惯了。未来会有更多证明是“AI生成 + 人工审核”的混合体。数学家开始用Lean这类工具，把证明写成机器能读的代码，让AI补全步骤。这样做反而不是放水，是让证明更透明、更经得起推敲。研究方向多了新东西。AI本身成了数学家的研究对象：用拓扑学分析神经网络的黑箱，用信息论给大模型画边界。反过来，AI生成的高维数据也在倒逼数学家发明新的几何工具。这是一个互相出题的关系。基础计算AI全包了，大学数学课不再逼你算得快，而是逼你想得深。将来数学系学生得学会怎么“指挥”AI干脏活累活，自己把精力花在解释“为什么这个方向值得试”上。AI淘汰的是只会套公式的人，奖励的是能提新问题、能跨界连接的人。计算器没让数学家失业，AI也不会。恰恰相反，当机器擅长给答案时，提出好问题这件事，就变得前所未有的值钱了。这不是数学的黄昏，是数学的早高峰。
发布于 河南
分享
2
4
未登录
友善发言
评论
加载中
