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

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。