AI 精选动态
智能评分 78
OpenAI 模型证伪平面单位距离猜想
AI 推荐理由
建议点开原文和配套证明：这条不仅是数学结果本身，还提供了通用推理模型如何自主搜索并产出可核查证明的案例，适合关注前沿推理能力与科研自动化的人跟进。核心解读
OpenAI 于 2026 年 5 月 20 日发布研究进展，称其一个内部通用推理模型证明了离散几何中的平面单位距离问题相关核心猜想不成立。该模型给出一族无限例子，带来多项式级改进；证明已由一组外部数学家核查，并由配套论文补充背景。OpenAI 还表示，这一结果是首次有 AI 自主解决一个子领域中的知名公开难题，且该模型并非专门为数学训练，也不是为该问题定制的系统。引用中，Timothy Gowers 认为 AI 已解决一个重要的 Erdős 问题，Arul Shankar 认为当前 AI 模型已能提出原创且精巧的想法并完成证明。