xAI 联创 Christian Szegedy 长文：数学要「毕业」了，两千年英雄史彻底落幕

xAI 联合创始人 Christian Szegedy 发表长文《数学何去何从》，讨论所谓自动形式化——让 AI 把人类写的数学自动翻译成机器能逐行检验的证明。文章认为 AI 最先啃下的硬骨头，千禧年难题、雅可比猜想、费马大定理，全都在数学里。

原文连接