AI两千美元破解10个十年难题，纯数学家面临坏时代

Emad Mostaque 在镜头前说：“现在是纯数学家的坏时代。” AI 刚刚用 2000美元解决了 10 个十年未解的数学难题。

一个 AI 研究者和创始人小组——Peter Diamandis、Alex Wissner-Gross、Emad Mostaque——刚刚面对一个难以反驳的数字：2000美元的算力，十个十年未解、此前无人能解的数学难题，带着机器可验证的证明回来了。

这不是抽象意义上“AI 数学变得更好了”。

一位菲尔兹奖得主说，他会毫不犹豫地推荐其中一篇证明发表。

一位宇宙学家称之为“数学的暗夜”——“旧神正被新机器神屠戮。”

随后 Emad 冷冷地收尾：“现在是纯数学家的坏时代。”

以下便是他们尚未说出的内容。

> 2013/2014年，我在 M+W High Tech Projects 工作，参与马来西亚吉打州居林的一个设计建造项目。我们的机电工程师想直接在钢筋混凝土梁的正中间开一个口——正是弯矩峰值的位置。我在他动手之前拦住了他。告诉他不行。这简直是疯了——你不能为了一个机电开口牺牲梁的结构完整性。我让他改为重新布置管道。结构安全永远是第一位的。

工程知识并不稀缺。

判断力——在错误变成永久之前发现它——才是稀缺的。

这里也是同样的模式。十个未解的证明，纸面上正确，只花了 2000美元。正确性从来不是稀缺的部分。

嗯——这实际上与我发布的一篇关于企业阶梯的入门级职位被AI取代的帖子一脉相承。

不同的职业，同样的机制：哪一级台阶先被自动化不是随机的，而仍站在那一级上的人，是那些把它看作模式而非头条的人。

留下你的看法——判断力真的是能在这场变革中存活下来的东西吗，还是说，那只是我们在轮到自己之前讲给自己的故事？