读两年前 r/math 上的一篇帖子，颇为有趣
摘要
反思两年前 r/math 上一篇质疑 AI 能否解决未解数学问题的帖子，如今 AI 已经解决了千禧年大奖难题，并引发我们距离 AGI 还有多远的思考。
"你们觉得 AI 会在几十年内发展到能够直接解决未解决问题的地步吗？"——这就是那篇帖子的标题。令人难以置信的是，这仅仅是两年前的事。AI 甚至已经解决了一个千禧年大奖难题，如今我们距离解决其中大部分难题已近在咫尺。很有趣的是，当时有条评论说要做到这一点需要强人工智能，也就是一个 AGI 系统。那么问题来了：按照你们的标准，你们距离宣布 AGI 实现还有多远？具备什么样的能力才会让你们说我们已经实现了 AGI？
相似文章
两年前，AI研究人员认为AI解决千禧年数学问题需要30年
两年前，AI研究人员相信解决千禧年数学问题需要AI 30年，但最近的进展表明这一时间线可能更短。
人工智能与数学的未来（2分钟阅读）
Grant Sanderson 与 Dwarkesh Patel 探讨了人工智能在数学领域的快速进展、概念突破的本质，以及随着AI的进步这对其他领域意味着什么。
我们还要多久才能在后视镜中看到数学？"解决"数学的道路上有哪些障碍？
文章探讨了人工智能可能在多近的将来真正"解决"数学，以及仍存在哪些障碍，围绕AI驱动的数学推理这一前沿领域展开讨论。
AI解决数学问题是否正在经历指数级增长？
本文讨论了AI解决数学问题的能力是否在呈指数级增长，并可能分析了近期的趋势和研究。
@postagixyz：Emad Mostaque @EMostaque 在 PostAGI 上表示，AI 已经找到了爱因斯坦方程中缺失了 121 年的代数…
Emad Mostaque 声称 AI 在爱因斯坦方程中发现了缺失的代数，而据报道 OpenAI 的 Astra 仅用极少的算力解决了十个开放数学问题，这表明机器在数学发现方面正在超越人类。