AI 精选动态
智能评分 84
OpenAI 证明 Erdős 猜想
AI 推荐理由
这条内容的关键不只是“解出难题”，而是通用推理模型在非定制 theorem-proving 场景下，结合更多 test-time compute 仍能找到可核验的新构造，值得关注其方法是否可迁移到其他开放数学问题。核心解读
OpenAI 公开表示，其通用推理模型在平面单位距离问题上推翻了 Paul Erdős 于 1946 年提出的一项重要猜想。该模型发现了一族新的构造，带来多项式级改进，并且证明已由外部数学家核验。OpenAI 还称，这是 AI 首次自主解决一个数学领域的知名公开问题，且该能力会随着更多 test-time compute 提升而增强。