Emad Mostaque 在镜头前说:“现在对纯粹数学家来说是个糟糕的时代。” AI 仅用 2000 美元就解决了 10 个十年未解的数学问题。
摘要
包括 Emad Mostaque 在内的小组声称,AI 仅用 2000 美元的算力就解决了十个十年未解的数学问题,引发了关于纯粹数学未来和人类判断作用的讨论。
一个由 AI 研究者和创始人组成的小组——Peter Diamandis、Alex Wissner-Gross、Emad Mostaque——刚刚面对一个难以辩驳的数字:2000 美元的算力,让十个十年未解、此前悬而未决的数学问题带回了机器可验证的证明。这不是抽象意义上的“AI 在数学上变得更好了”。一位菲尔兹奖得主表示,他会毫不犹豫地推荐其中一份证明发表。一位宇宙学家称这是“数学的黑暗之夜”——“旧神正被新的机器神屠戮。”随后 Emad 斩钉截铁地结束道:“现在对纯粹数学家来说是个糟糕的时代。”以下是他们还没说出的部分。早在 2013/2014 年,我就职于 M+W High Tech Projects,在马来西亚吉打州居林的一个设计-建造项目上工作。我们的机电工程师想要在钢筋混凝土梁的正中间直接开一个洞——正好在弯矩峰值处。在他动手之前我拦住了他,告诉他不行。这已经超越了疯狂——你不能为了一个机电开洞而牺牲梁的结构完整性。我让他把管道改道。结构安全第一。工程知识并不稀缺。稀缺的是判断力——在错误成为永久性之前发现它。同样的模式在这里。十个未解决的证明,纸面上正确,只花了 2000 美元。正确性从来都不是稀缺的那部分。嗯——这实际上与我之前发的一篇关于企业晋升阶梯正在失去其入门级梯级给 AI 的帖子,是同一个脉络。不同的职业,相同的机制:哪一级阶梯最先被自动化并非随机,而那些仍然站在这一级上的人,是那些看到了其规律而非仅仅将其视为新闻标题的人。来说说你的观点——判断力真的能在这种情况下幸存下来吗,还是说那只是我们在轮到自己之前讲给自己的故事?
相似文章
@postagixyz:Emad Mostaque @EMostaque 在 PostAGI 上表示,AI 已经找到了爱因斯坦方程中缺失了 121 年的代数…
Emad Mostaque 声称 AI 在爱因斯坦方程中发现了缺失的代数,而据报道 OpenAI 的 Astra 仅用极少的算力解决了十个开放数学问题,这表明机器在数学发现方面正在超越人类。
AI以不到1000美元破解80年数学猜想
GPT-next以不到1000美元的成本破解了困扰数学界80年的埃尔德什单位距离问题,标志着AI从工具向独立发现者的转变。本文还涵盖了这一里程碑引发的基础设施增长、劳动力影响和治理辩论。
Stand-up maths: AI是否发现了新的数学?
马特·帕克的视频探讨了近期AI(包括ChatGPT)帮助解决未解的Erdős问题的案例,彰显了AI辅助数学发现的新时代。
OpenAI 声称解决了80年前的数学难题——这次是真的
OpenAI 声称其新推理模型自主生成了一个原创数学证明,推翻了保罗·埃尔德什(Paul Erdős)一个80年未解的几何猜想。这标志着人工智能首次解决了一个数学领域核心的著名开放问题。
数学与理论计算机科学的十项进展
OpenAI使用内部模型Astra解决了十个停滞了十多年的数学问题,每个问题花费不到2000美元,并发布了Lean 4形式化证明及一篇论文。这些结果引发了对AI在数学中作用的反思。