25位菲尔兹奖得主联合警告 it圈砸数学长老饭碗了，绷不住了。开始不讲客观讲玄学了，洞见大于结果，ai做题不算，数学需要数学家定义。哈哈，有传武和古法编程的味了，以后来个古法数学。

ai证明真假也不影响他们继续洞见，简化，各玩各的，激动啥。所以就是ai解决了猜想lean验证并抢了数学家地位流量，破防了。

他们害怕的是，如果猜想都被 AI 公司用算力给得到了结论，那他们还干什么呀？实际上是他们以猜想为核心的绣球来驱动整个数学界运转的逻辑被颠覆了，这是他们急眼的地方。

AI 平等颠覆每一个行业行业，也不可能单独的照顾数学长老院。

整个数学共同体还没有接受好 AI 进来了以后他们如何转型？因为他们没有生产力， AI 或者是 AI 的工程师本身还可以通过 AI 的产业来继续进行迭代，完成自己的价值落地。

也就说，数学家们现在需要给未来数学的 100 年、 200 年找到一条路，别在玩猜谜搞猜想的圈子自了，别去跟 AI 硬刚，没有意义，也改变不了结果。