奥特曼说数学家走完了五天的哀悼期，数学圈未必认

奥特曼最近在斯坦福演讲，讲到 AI 进入数学研究这件事，用了一个比方：哀悼。

按他的说法，数学家的反应走了一个完整周期。第一天是不敢相信：“我们完了，这个领域结束了，让研究生转专业吧。”第三天是愤怒：“OpenAI 干这事太糟糕了。”到第五天，很多人开始接受，觉得自己会有一条“不同，但希望更好”的数学职业道路。

他还说，自己不认为会出现就业末日，但数学受到的冲击比其他学科来得更快，“这是我们见过某个领域经历这个周期最快的一次”。

话说得很顺，但跟数学圈最近的实际情况对不太上。

9 月 OpenAI 宣称模型解出了纳维-斯托克斯方程相关问题，随后就有学者质疑：用了聊天记录、不展示完整推导过程，没法按数学界的标准去检验。加州理工办的“数学马拉松”活动，因为 700 多名学者联署反对，OpenAI 最后退出了赞助。

700 多人联名，很难说是“已经走到第五天”。

我理解奥特曼想表达的是：AI 进入数学已经无法逆转，抵触会慢慢变成合作。这个判断大方向可能没错，用证明助手、用模型找反例，确实在越来越多数学家的日常里出现。

但数学界不满的点，很多时候不是“AI 能不能做数学”，而是“你说做出来了，证明在哪”。这个问题不靠时间解决，靠的是把推导完整摆出来。