FEATUREDX · @OpenAI· x-apiEN17:41 · 04·28
GPT-5.4 Pro 帮数学家解决了一个 60 年没解开的 Erdős 问题
OpenAI 发推说,本月初一个悬了 60 年的 Erdős 问题在 GPT-5.4 Pro 的帮助下被解决了。推文里提到了 Sebastien Bubeck、Ernest Ryu 和 Andrew Mayne 三位研究员,但正文没披露具体是哪个问题、证明过程长什么样、能不能复现。我会先打个折:目前只有一条推文,没有论文或预印本链接,所以很难判断模型到...
#Reasoning#OpenAI#Sebastien Bubeck#Ernest Ryu
精选理由
精选 · 重要度 74 · 吸引力 + 共鸣
一句话点评
一条推文说 GPT-5.4 Pro 帮忙解决了一个悬了 60 年的 Erdős 问题,但没给论文、没给问题名、没给证明过程,目前只能当预告看。
锐评
OpenAI 这条推文信息量很低,更像节目预告而不是成果发布。它只说 GPT-5.4 Pro 参与解决了一个 60 年未解的 Erdős 问题,但正文没披露具体是哪个问题、证明是怎么产生的、模型到底贡献了哪一步。三位研究员的名字给了,但没附任何论文链接或预印本,所以外界没法验证这个证明对不对、能不能复现。
我会先打个折:数学证明的难点往往在关键构造或引理,如果模型只是辅助搜索文献或做数值实验,那和“解决”是两回事。目前没有证据表明 GPT-5.4 Pro 独立完成了推理,也没说人类研究员改了多少。
还缺的东西很明确:问题编号、完整证明、模型交互日志、同行评审状态。在这些出来之前,这条推文只能说明 OpenAI 在往数学研究的方向试水,但试到什么程度还看不出来。
HKR 分解
hook ✓knowledge —resonance ✓