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