根据 OpenAI 官方公告，OpenAI 在 5 月 20 日宣布，旗下一个通用推理模型推翻了离散几何领域一道由数学家 Erdős 在 1946 年提出、近 80 年的核心猜想，被视为 AI 首次自主解决一个数学领域的重大未解问题。

推翻了什么：平面单位距离问题

这道「平面单位距离问题」问的是：在平面上放置 n 个点，最多能有几对点彼此的距离恰好为 1。问题看似简单，却困扰数学界近 80 年。长期以来，数学家相信方格状的排列是最优解，但 OpenAI 的模型找到一整个无穷族的构型，给出多项式等级的改进，证明方格排列并非最优。

完全自主：从代数数论切入

与过去由人类主导、AI 辅助的数学突破不同，这次的证明完全由模型自主产生。它收到一份问题叙述后，独立产出解答，过程没有人类逐步引导、也没有给半成品让它补完。方法上，模型并未在已知的方格排列上微调，而是改从代数数论切入，连结到「无穷类域塔」这类进阶数学结构。

费尔兹奖得主验证，意义在推理链

这项结果已由费尔兹奖得主 Tim Gowers 与普林斯顿大学的 Will Sawin 验证，确认存在一组比过去已知更多单位距离对的平面构型。OpenAI 表示，这显示 AI 系统正逐渐具备维系长而困难的推理链，并跨领域连结概念的能力。

本文链接地址：https://www.wwsww.cn/rgzn/38945.html
郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。