数学要「毕业」了！xAI联创宣判：两千年英雄史彻底落幕

孤独攀登者的时代正在结束，测绘整片大陆的时代正在开启。

说到底，这才是人们留下来的原因。不是为了地图，也不是为了钱，而是为了那难得的一刻，一块没人在意的石头变成了一座大山，整片地形在你脚下展开。

说实话，这些石头没那么有意思，我们爬它们，是为了给真正的大山磨工具，而你们的飞机飞不了那么高。

只有颠覆、没有替代，就会留下真空。但一个明确的未来图景，会带来新的生命，下一步已经很清楚了：我们准备把全部已知的数学，翻译成形式化代码。