#AI把数学干废了# 传统数学研究长期以来带有某种“象牙塔”或“闭门造车”的色彩：几页纸、一支笔，数学家凭借个人直觉在极度抽象的概念中摸索，验证一个猜想往往需要数年甚至数十年，且极易出现人类难以察觉的逻辑漏洞。

AI的深度介入，特别是大语言模型与形式化证明系统（如 Lean、CoHcl）的融合，正在打破这种封闭性。

像AlphaProof等系统不仅能做计算，还能辅助生成和验证定理证明。过去需要顶级数学家耗费心血去核对的长篇证明，现在可以通过机器进行毫秒级的形式化校验。

在组合数学、图论和高维几何等领域，人类的直觉常常受限于直观想象力。AI能够以极高的效率遍历庞大的参数空间，提供意想不到的反例或新路径。

以菲尔兹奖得主陶哲轩为代表的许多现代数学家，不仅没有把AI视为威胁，反而积极将其引入日常研究，作为处理繁琐推导和文献检索的强力“副驾驶”。

不过，与其说是把数学“干废了”，不如说是把数学从繁琐的底层体力劳动中解放出来。AI擅长的是逻辑推演、符号计算和模式识别，但“提出什么样的问题才有价值”、“构建怎样的全新数学框架”依然需要人类的直觉与审美。