AI正在重塑数学，数学家却沉默了？

彭博最新视频抛出一个尖锐问题：AI到底在怎么颠覆数学？一个令人不安的现象已经浮现——证明猜想、发现公式，这些曾经只属于顶尖数学家的事，现在算法正在批量完成。我个人的判断是：这不是辅助工具的故事，而是底层生产关系的重写。过去数学家花数年推导一个引理，如今模型可能几小时给出候选路径。最让人不安的不是AI能解题，而是它开始参与"提出好问题"这个环节。数学史上真正的突破往往源于直觉，而直觉恰恰是AI最难伪造、却正在逼近的东西。当机器开始猜测尚未被人类证明的猜想，数学的哲学根基就动摇了。

原文：How AI Is Upending the World of Mathematics · 来源：Hacker News