# OpenAI 说这次真解决了一个 80 年的数学难题

> 原标题：OpenAI claims it solved an 80-year-old math problem — for real this time

- 来源：TechCrunch · AI
- 发布时间：2026-05-20T20:28:27.000Z
- AX AI 日报：https://ai-daily.ax0x.ai/items/24679
- 原文：https://techcrunch.com/2026/05/20/openai-claims-it-solved-an-80-year-old-math-problem-for-real-this-time/

## 摘要

OpenAI 声称他们的新推理模型推翻了一个自 1946 年悬而未决的几何猜想。七个月前他们刚因为类似宣称翻过车——当时说 GPT-5 解决了 10 个未解难题，结果被扒出只是找到了文献里已有的答案，前副总裁 Kevin Weil 只好删帖。这次不一样的地方在于，上次揭穿他们的数学家这回站到了 OpenAI 这边。不过正文没披露模型名字、证明细节和验证...

## 推荐理由

HKR 三项全中：OpenAI 加一个 80 年历史的几何猜想，是个可验证的硬核推理声明。但正文没给模型名、没给证明细节、也没说怎么验证的，所以先别太激动，暂时到不了 P1。

## 锐评

OpenAI 说自己的推理模型推翻了一个 1946 年提出的几何猜想。七个月前他们刚在类似宣称上翻过车——当时说 GPT-5 解决了 10 个未解难题，结果被扒出只是找到了文献里已有的答案，前副总裁 Kevin Weil 只好删帖。这次不一样的地方在于，上次揭穿他们的数学家这回站到了 OpenAI 这边，这确实让可信度加了几分。但正文没披露模型名字、证明细节和验证过程，我们不知道是哪个模型做的、怎么做的、谁复核过。在数学界，没有经过同行评审的证明不算数，AI 公司的博客宣称更不算。这点先别太激动，等论文出来再说。