AI 连破数学难题，数学家该改行当牧师吗A New Dawn For Mathematical Progress

过去几个月，未公开的前沿 AI 系统完整形式化了费马大定理的证明，还解决了纳维-斯托克斯问题，并在 10 月 26 日又攻克了一个千禧年大奖难题。

数学界正在经历一场集体眩晕：AI 接二连三地解决千禧年难题，有博士生说自己「内心尖叫了好几天」。

一位菲尔兹奖得主在报告结尾说，我们需要发展新的关怀与爱的理论。这话从他嘴里说出来，比任何恐慌都说明问题。

作者认为真正的出路是换一种数学进步观：不再盯着清单打勾，而是回到现实遭遇中定义问题。我觉得这个转向比「AI 会不会取代数学家」更值得琢磨。