AI 精选动态
智能评分 83
OpenAI 模型证明离散几何猜想
AI 推荐理由
该文不仅给出 AI 解决开放数学问题的具体案例，还明确说明了证明已被外部数学家核验，值得点开看其方法路径与模型能力边界。核心解读
OpenAI 于 2026 年 5 月 20 日公布，一款内部通用推理模型解决了离散几何中的平面单位距离问题，推翻了该领域长期以来关于“方格构造近似最优”的主流猜想。OpenAI 说明，这一结果给出了一个无限族反例，并带来多项式级改进；证明已由一组外部数学家核验，且配套论文对论证和背景作了补充。OpenAI 还表示，这是首个由 AI 自主解决的、处于某个数学子领域核心位置的著名公开问题，方法上并非专用数学模型或针对该题训练的系统，而是一个通用推理模型。