跳到正文
X · @OpenAI

GPT-5.4 Pro 帮数学家解决了一个 60 年没解开的 Erdős 问题

Earlier this month, an Erdős problem that had been open for 60 years was solved with help from GPT-5.4 Pro.

OpenAI 发推说,本月初一个悬了 60 年的 Erdős 问题在 GPT-5.4 Pro 的帮助下被解决了。推文里提到了 Sebastien Bubeck、Ernest Ryu 和 Andrew Mayne 三位研究员,但正文没披露具体是哪个问题、证明过程长什么样、能不能复现。我会先打个折:目前只有一条推文,没有论文或预印本链接,所以很难判断模型到...

推荐理由:这条消息的吸引力全在“60 年未解 Erdős 问题 + GPT-5.4 Pro”这个组合上,对 AI 从业者来说是个很强的信号。但正文只给了讨论数学研究变化的氛围,没给任何硬货——题目叫什么、证明怎么做的、能不能复现,全都没说。所以我会先打个折:钩子值一个 H 和 R,但 K 完全站不住,因为信息缺口大到没法判断模型到底干了多少活。这点先别太激动,等有论文或细节再重新评估。

读原文 ↗导出 Markdown