发生了什么
OpenAI 发表 数学猜想证明
为什么值得关注
这条内容的价值在于它同时给出了“通用模型 + test-time compute 增强”在前沿数学上的可行性信号，以及外部数学家核验后的具体结果，适合关注推理模型能力边界的人直接读原帖。
信息来源
以下内容来自公开来源，可打开原文继续核验。
01
OpenAI 模型证明数学猜想
OpenAI 的通用推理模型在增加 test-time compute 后，找到了一个将 algebraic number theory 与平面几何连接起来的证明思路，并据称推翻了一个 1946 年提出的 Erdős 猜想。原文称该模型发现了一族无限构造，带来多项式级改进，且证明已由外部数学家核验；同时强调它不是为该问题专门训练的 theorem-proving 引擎。
打开原始来源 ↗