# OpenAI 用通用推理模型花不到 1000 美元，推翻了一个 80 年前的数学猜想

> 原标题：[AINews] OpenAI GPT-next disproves 80 year old Erdős planar unit distance problem for under $1000

- 来源：Latent Space
- 发布时间：2026-05-21T07:28:36.000Z
- AX AI 日报：https://ai-daily.ax0x.ai/items/26928
- 原文：https://www.latent.space/p/ainews-openai-gpt-next-disproves

## 摘要

OpenAI 公布了一个内部通用推理模型（外界猜是 GPT 5.6）的成果：它找到了平面单位距离问题的新构造族，推翻了 1946 年 Erdős 提出的一个猜想。这个模型不是专门为数学训练的，就是普通的语言模型，但推理过程生成了约 125 页的总结。有外部观察者推测，这次运行只用了不到 32 小时，成本不到 1000 美元。数学家 Timothy Go...

## 推荐理由

HKR 三项都成立：一个内部推理模型声称驳倒了 1946 年的 Erdős 问题，输出约 125 页，这是很强的能力信号。不过成本和运行时间目前还是外部推测，正文没披露 OpenAI 自己的官方数字，所以分数没给到 95。

## 锐评

这条新闻值得点开看，因为它展示的不是“AI 又刷榜了”，而是一个通用语言模型在没人专门教它数学的情况下，自己跑出一个有学术价值的新结果。模型被外界猜是 GPT 5.6，运行时间不到 32 小时，成本推测在 1000 美元以内，这个开销对科研来说相当低。OpenAI 自己强调这不是 AlphaProof 那种专用求解器，就是普通推理模型，说明长链推理能力在往数学之外的科学问题泛化。

不过要打折的地方也很明显：它做的是“证伪”而不是“证明”，也就是找到了推翻旧猜想的构造族，难度比正向证明低一档。OpenAI 放出的意见信也承认这点。另外，125 页输出里那个“第 39 页时刻”被社区拿出来讨论，但正文没展开讲它到底多关键，信息有缺口。

现在还缺的是：这个模型到底有没有被微调过、推理过程有没有人工筛选、以及同样的方法能不能复现到其他数学问题上。如果后续有独立复现和更完整的评估，这条新闻的分量会更重。