数学不会死：AI只是工具，思维才是数学的灵

前两天OpenAI一口气发了722篇数学手稿，顺手结案了223个猜想。圈里瞬间炸锅：数学家以后是不是只配当核验员了？

其实大可不必慌。AI确实能把求解时间从十年压到几小时，但它只会输出证明，体会不到灵光一闪的震撼，更生不出全新的数学直觉。

说白了，它就是个高级工具。就像当年有了计算器，算术训练也没消失一样。以后AI接手机械推导，人类正好腾出手去干最核心的事——提出新问题、构建新理论。

旧猜想被解决，人类又会抛出更深的新问题。数学从来不是一本等着写完答案的习题集，而是一场永无止境的思维探险。