#数学家仍对AI不服气# 最近数学圈是真的炸了。

10月6日，OpenAI一口气甩出719份AI生成的数学证明手稿，涵盖372个结果族，横跨数论、代数、几何等17个领域。此前9月，他们刚宣布用1万个AI智能体、88小时跑通了纳维-斯托克斯方程的形式化证明——这可是悬赏百万美元的千禧年难题。

结果数学家们不但没欢呼，反而集体“不服气”了。

10月7日，菲尔兹奖得主陶哲轩代表人类数学协会AHM发出声明，直接呼吁数学家停止与OpenAI合作。这已经是继9月11日25位菲尔兹奖得主联名发表《人工智能在数学中的严重错位》之后，数学界又一次大规模表态。

数学家到底在气什么？几个核心点：

· 陶哲轩提出“证明消化不良”——AI能高速生成证明，但人类来不及理解、验证、教学，大量证明“无人能消化”
· 数学的价值不只在答案，更在过程中诞生的新方法、新思想。AI像直升机空投到终点，但沿途的“地图”没人画
· 问题一旦被宣布“解决”就无法恢复为“未解决”，会压缩后续研究空间
· OpenAI使用专有模型，仅10份手稿附有推理链，约42%未经形式化处理，透明度不足

说白了，数学家不是怕AI，是怕数学变成一场只看速度的刷题竞赛。

陶哲轩自己也用AI做研究，他说得很清楚：反对的不是工具，而是把“解出多少题”当成唯一标准。

你觉得AI做数学，是助力还是隐患？#菲尔兹奖得主陶哲轩带头向OpenAI宣战##微博AI创作季#