Emad Mostaque 在镜头前说:“现在对纯粹数学家来说是个糟糕的时代。” AI 仅用 2000 美元就解决了 10 个十年未解的数学问题。

Reddit r/artificial 新闻

摘要

包括 Emad Mostaque 在内的小组声称,AI 仅用 2000 美元的算力就解决了十个十年未解的数学问题,引发了关于纯粹数学未来和人类判断作用的讨论。

一个由 AI 研究者和创始人组成的小组——Peter Diamandis、Alex Wissner-Gross、Emad Mostaque——刚刚面对一个难以辩驳的数字:2000 美元的算力,让十个十年未解、此前悬而未决的数学问题带回了机器可验证的证明。这不是抽象意义上的“AI 在数学上变得更好了”。一位菲尔兹奖得主表示,他会毫不犹豫地推荐其中一份证明发表。一位宇宙学家称这是“数学的黑暗之夜”——“旧神正被新的机器神屠戮。”随后 Emad 斩钉截铁地结束道:“现在对纯粹数学家来说是个糟糕的时代。”以下是他们还没说出的部分。早在 2013/2014 年,我就职于 M+W High Tech Projects,在马来西亚吉打州居林的一个设计-建造项目上工作。我们的机电工程师想要在钢筋混凝土梁的正中间直接开一个洞——正好在弯矩峰值处。在他动手之前我拦住了他,告诉他不行。这已经超越了疯狂——你不能为了一个机电开洞而牺牲梁的结构完整性。我让他把管道改道。结构安全第一。工程知识并不稀缺。稀缺的是判断力——在错误成为永久性之前发现它。同样的模式在这里。十个未解决的证明,纸面上正确,只花了 2000 美元。正确性从来都不是稀缺的那部分。嗯——这实际上与我之前发的一篇关于企业晋升阶梯正在失去其入门级梯级给 AI 的帖子,是同一个脉络。不同的职业,相同的机制:哪一级阶梯最先被自动化并非随机,而那些仍然站在这一级上的人,是那些看到了其规律而非仅仅将其视为新闻标题的人。来说说你的观点——判断力真的能在这种情况下幸存下来吗,还是说那只是我们在轮到自己之前讲给自己的故事?
查看原文

相似文章

AI以不到1000美元破解80年数学猜想

Reddit r/artificial

GPT-next以不到1000美元的成本破解了困扰数学界80年的埃尔德什单位距离问题,标志着AI从工具向独立发现者的转变。本文还涵盖了这一里程碑引发的基础设施增长、劳动力影响和治理辩论。

数学与理论计算机科学的十项进展

Simon Willison's Blog

OpenAI使用内部模型Astra解决了十个停滞了十多年的数学问题,每个问题花费不到2000美元,并发布了Lean 4形式化证明及一篇论文。这些结果引发了对AI在数学中作用的反思。