当AI开始做数学，科学的地基已经松了

AI不只是写代码、下棋、画画——它正在攻克数学，这到底是什么信号？最近《经济学人》的一篇报道给出了冷静的判断：AI对数学的改造，是科学史上的一个拐点。为什么这么说？因为数学是科学的"元语言"，物理、化学、工程全依赖它的证明和推导。当AI开始独立发现新定理、优化算法、甚至挑战人类数学家几十年的猜想，整个科学方法论都得重新审视。说实话，这不像是工具升级，更像是规则改写。数学一旦不再是人类独占的领域，后面每一个学科都会被动跟着变。这个拐点，可能比很多人意识到的要来得快。

原文：AI's transformation of mathematics is a turning point for science · 来源：Hacker News