为什么 Erdős 问题都落到了人工智能的头上

氧 2026 年 5 月 20 日，OpenAI 发布了震惊数学界的公告。

一个内部人工智能模型——一个不向公众开放的模型——提出了一个 “单位距离”问题的反例 是一位多产的匈牙利流动数学家 Paul Erdős 在 1946 年提出的猜想。

埃尔多斯提出了数千个问题，但这个问题很特别：它既易于解释，又具有数学深度。

这是来自人工智能模型的第一个具有历史意义的证据。

尽管该模型的结果不是确定的——人类数学家将在几周内对其进行大幅改进——但它具有创新性，引入了一个遥远的数学分支的想法，而以前没有人成功地将其应用于这个问题。

它具有影响力：几天之内，相关技术就被用来解决其他重要问题。

然后在 8 月 1 日，OpenAI 宣布 名为 Astra 的未发布模型取得了另外 10 项数学进展，包括找到了 Erdős 提出的另外三个问题的解决方案。

许多数学家称赞此类进展是人工智能模型数学能力的阶段性转变。

这些模型“正在极大地改变数学研究的进行方式”， 诺加阿隆

🔗 原始来源

如果你要核对细节，可以再看原文： Hacker News AI原文链接