AI 精选动态
智能评分 93
OpenAI 模型推翻单位距离猜想
AI 推荐理由
建议点开原文关注证明思路与外部数学家核验意见，因为它展示了通用推理模型如何在非专项训练下产出可被验证的原创数学构造。核心解读
OpenAI 在 2026 年 5 月 20 日公布，一款内部通用推理模型证明了离散几何中的核心开放问题——平面 unit distance problem——并推翻了长期以来认为“square grid”构造接近最优的主流猜想。OpenAI 表示，该证明已由一组外部数学家核验，并有配套论文解释论证背景；结果给出了一个无限族例子，可带来多项式级改进。OpenAI 还称，这是首个由 AI 自主解决的、在某个数学子领域中具有代表性的公开难题，且该证明不是由专门数学模型、搜索式 proof scaffold 或针对该题训练的系统生成。