AI 精选动态
智能评分 79
OpenAI 证明单位距离猜想
AI 推荐理由
建议点开原帖核对其证明思路与问题表述，因为这是少见的“模型自主发现新构造并推翻长期猜想”的案例，可能影响后续用 AI 做数学搜索与自动化证明的研究路线。核心解读
OpenAI 表示，其内部模型在平面单位距离问题上推翻了 Erdős 于 1946 年提出的单位距离猜想。OpenAI 称，该模型发现了一类全新的构造，优于数学界此前近 80 年来普遍认为的方形网格式最优方案，并称这是 AI 首次自主解决一个数学领域的著名公开问题。Noam Brown 转发的 Lijie Chen 帖子补充称，该结果可被推荐“毫不犹豫地接收”到《Annals of Mathematics》。