极其简单的谜题与阻挡人类80年的高墙要理解这项突破有多么不可思议我们必须先回到1946年。那一年20世纪最伟大的传奇数学家之一保罗·埃尔德什Paul Erdős提出了一个几何问题如果在二维平面上任意画下n个点那么在这张图里两点之间距离刚好等于1的点对最多能有多少对这是连小学生都能听懂却让后续所有数学家抓狂的问题。数学家们将最大可能的单位距离点对数量记为u(n)。这个问题看似像个简单的拼图游戏。如果你只有n个点想让单位距离最多你会怎么摆摆成一条直线那么只有相邻的两点距离为1你只能得到n - 1对。摆成一个正方形网格每一格的边长都是1。经过简单的计算你可以得到大约2n对。直觉告诉我们越是对称、越是整齐的结构包含的单位距离就越多。因此在过去的几十年里全世界最聪明的数学家们达成了根深蒂固的共识要让单位距离数量最大化最好的摆法本质上就是类似于「方格网格」的结构。基于这种共识在1946年埃尔德什提出了著名的猜想Erdős Conjecture他认为u(n)的上限是 其中o(1)是一个随着n趋于无穷大而趋于0的项。用大白话来说就是无论你怎么精妙地排布这些点单位距离点对的增长速度也只能比线性n的一次方稍微快那么一点点绝对无法实现质的突破。这是埃尔德什最爱的数学问题之一曾多次公开提及此问题。为了激励后人埃尔德什还专门为解决这个问题设立了现金奖励。然而在接下来的80年里这道大题成了离散几何领域无法逾越的高墙。这个问题的下界最好情况情况是这样的自1946年埃尔德什用缩放的正方形网格给出 的结果后整整80年人类数学家在这个基础上面对下界的提升寸步未行。关于上界理论极限的证明情况如下1984年斯宾塞Spencer、塞梅雷迪Szemerédi和特罗特Trotter证明了上界为O(n^{4/3})。此后哪怕后世的无数天才包括陶哲轩等人在内在相关结构上做了诸多微调这个上界依然像铁律一样无法被打破。所有人都以为正方形网格就是大自然的极限了。完整提示词 颠覆认知AI找到了「不存在的结构」然而OpenAI的这个神秘模型出手了让人震惊的是它不仅证明了猜想更直接推翻了猜想。它在平面上创造出了一种人类数学家从未想象过的、全新的点阵构型家族。这个构型直接打破了「网格神话」实现了多项式级别的超越根据OpenAI披露的数据在n个点的平面上AI构建的构型让单位距离点对的数量达到了惊人的 其中 是一个固定的正常数大于0。证明链接https://cdn.openai.com/pdf/74c24085 - 19b0 - 4534 - 9c90 - 465b8e29ad73/unit - distance - proof.pdf这意味着单位距离的数量实现了指数级的跃升彻底打破了埃尔德什当年预测的上限随后普林斯顿大学数学教授Will Sawin对AI的证明进行了连夜的精细化推导进一步确认了这个 可以明确取到0.014。显然 完爆 近80年来无数代离散几何学家在这座数学大厦里敲敲打打坚信屋顶就在头顶上方。而现在AI直接在墙壁上开辟了一扇暗门告诉人类外面还有一片此前从未被看见过的全新大陆。震撼数学界它用高维数论降维打击了几何学如果说AI只是通过穷举法或暴力计算找了几个特例数学家们还不至于如此破防。真正让整个学术界倒吸一口凉气、感到极度不安的是这个证明的极高品味和创造力。离散几何问题通常需要用几何或者组合数学的工具来解决。但OpenAI的模型在思考这个初等几何问题时突然打通了数学宇宙中一条隐秘通道——它从遥远的「代数数论」中借来了重武器。当初埃尔德什构建网格时利用了「高斯整数」形如a bi的复数其中a和b是整数。高斯整数就像是普通整数在复平面上的延伸具备唯一分解定理等优良性质。而AI展现出了令人惊叹的洞察力它没有被高斯整数限制住而是将这个几何构想推向了一个人类完全没敢想的极端——首先它构建了极其复杂的代数数域拓展。它引入了具备更丰富、更高维对称性的代数数域。在这些高维对称空间里能够产生远比人类已知网格多得多的「单位长度差」。其次它驾驭了顶级的数论工具。为了证明它所设想的这种复杂数域在数学上确实存在在长链条推理中AI极其熟练地调用了「无限阶级域塔」Infinite Class Field Towers和「高罗德 - 沙法列维奇理论」Golod–Shafarevich Theory。这些工具是代数数论皇冠上的明珠即便是专门研究数论的人类专家想要将它们天衣无缝地组合在一起也需要耗费数年心血。然而一个通用推理模型却在解决一个几何问题时自发地将这两者结合完成了惊人的跨界降维打击普林斯顿大学的组合数学泰斗Noga Alon表示亲眼看到这个内测模型给出解答时他被这种优雅且聪明的手法深深震撼了。英国皇家学会院士、菲尔兹奖得主Thomas Bloom也在配套论文中写道“当评估AI生成的某个证明的重要性时我会问自己它有没有教会我们关于这个问题的新知识我们对离散几何的理解加深了吗答案是一个毫无疑问的「是的」。它向我们展示了数论结构在解决这类几何问题上拥有远比我们想象的要深邃得多的发言权。”不是偏科战神而是通才更惊人的是OpenAI特别强调了一点“这个证明来自一个全新的通用推理模型而不是一个专门为了解决数学问题或特定猜想而构建的定制系统。”在过去AI解决数学问题往往依赖人类精心设计搜索框架或者在特定领域如自动定理证明Lean语言内进行局限的试错。但这一次AI是在一个前所未有的广阔空间里展现出了真正的长链条、高内聚推理能力。数学是全人类逻辑思维最严苛的试金石定义不允许有半点含糊。每一个中间步骤都可以被严格验证。长达数十页的论证只要中间有一处逻辑断裂整个证明就会瞬间崩塌。AI成功了它像一个冷静的、经验极其丰富的棋手在人类甚至无法觉察的知识图谱中完美地把控住了数万步的逻辑链条没有出现一次致命幻觉。这种在宏观上跨越数论与几何、在微观上丝丝入扣的推理能力正是AGI最核心的圣杯。科学研究的范式转换人类数学家下岗了吗所以人类学者会沦为旁观者吗恰恰相反。这次突破恰恰体现了人类的重要性。在AI生成原始证明后人类顶尖数学家团队迅速介入。他们不仅验证了证明的正确性还在短时间内写出论文普林斯顿的威尔·萨温教授更是敏锐提炼出了δ 0.014的精确值。AI是一个探险家踩出一条路带回宝石。人类科学家则凭借直觉将宝石擦亮。正如英国数学家Thomas Bloom的赞叹“知识的疆界从来不是平坦的而是充满了尖锐的峭壁。AI正在帮助我们更全面地探索我们几个世纪以来建立的数学大教堂在这些宏伟的穹顶之下还有多少未被看见的奇迹正在侧翼等待着被唤醒”而这股风暴也将席卷数学之外的整个世界。在博客最后OpenAI指出一个宏大图景。如果一个模型能够保持极其复杂的论证前后一致能够将相距万里的知识领域融会贯通并且其产出的成果能够通过最挑剔的人类专家的审视——那么这样的能力将同样适用于生物学、物理学、材料科学、工程学和现代医学。AI已触及科学研究中最具核心创造力的部分。人类的洞察力、审美从未如此放大。而这个世界的剧变才刚刚开始。
OpenAI通用推理模型攻克80年数学难题，跨领域推理能力引发科学研究范式变革！
极其简单的谜题与阻挡人类80年的高墙要理解这项突破有多么不可思议我们必须先回到1946年。那一年20世纪最伟大的传奇数学家之一保罗·埃尔德什Paul Erdős提出了一个几何问题如果在二维平面上任意画下n个点那么在这张图里两点之间距离刚好等于1的点对最多能有多少对这是连小学生都能听懂却让后续所有数学家抓狂的问题。数学家们将最大可能的单位距离点对数量记为u(n)。这个问题看似像个简单的拼图游戏。如果你只有n个点想让单位距离最多你会怎么摆摆成一条直线那么只有相邻的两点距离为1你只能得到n - 1对。摆成一个正方形网格每一格的边长都是1。经过简单的计算你可以得到大约2n对。直觉告诉我们越是对称、越是整齐的结构包含的单位距离就越多。因此在过去的几十年里全世界最聪明的数学家们达成了根深蒂固的共识要让单位距离数量最大化最好的摆法本质上就是类似于「方格网格」的结构。基于这种共识在1946年埃尔德什提出了著名的猜想Erdős Conjecture他认为u(n)的上限是 其中o(1)是一个随着n趋于无穷大而趋于0的项。用大白话来说就是无论你怎么精妙地排布这些点单位距离点对的增长速度也只能比线性n的一次方稍微快那么一点点绝对无法实现质的突破。这是埃尔德什最爱的数学问题之一曾多次公开提及此问题。为了激励后人埃尔德什还专门为解决这个问题设立了现金奖励。然而在接下来的80年里这道大题成了离散几何领域无法逾越的高墙。这个问题的下界最好情况情况是这样的自1946年埃尔德什用缩放的正方形网格给出 的结果后整整80年人类数学家在这个基础上面对下界的提升寸步未行。关于上界理论极限的证明情况如下1984年斯宾塞Spencer、塞梅雷迪Szemerédi和特罗特Trotter证明了上界为O(n^{4/3})。此后哪怕后世的无数天才包括陶哲轩等人在内在相关结构上做了诸多微调这个上界依然像铁律一样无法被打破。所有人都以为正方形网格就是大自然的极限了。完整提示词 颠覆认知AI找到了「不存在的结构」然而OpenAI的这个神秘模型出手了让人震惊的是它不仅证明了猜想更直接推翻了猜想。它在平面上创造出了一种人类数学家从未想象过的、全新的点阵构型家族。这个构型直接打破了「网格神话」实现了多项式级别的超越根据OpenAI披露的数据在n个点的平面上AI构建的构型让单位距离点对的数量达到了惊人的 其中 是一个固定的正常数大于0。证明链接https://cdn.openai.com/pdf/74c24085 - 19b0 - 4534 - 9c90 - 465b8e29ad73/unit - distance - proof.pdf这意味着单位距离的数量实现了指数级的跃升彻底打破了埃尔德什当年预测的上限随后普林斯顿大学数学教授Will Sawin对AI的证明进行了连夜的精细化推导进一步确认了这个 可以明确取到0.014。显然 完爆 近80年来无数代离散几何学家在这座数学大厦里敲敲打打坚信屋顶就在头顶上方。而现在AI直接在墙壁上开辟了一扇暗门告诉人类外面还有一片此前从未被看见过的全新大陆。震撼数学界它用高维数论降维打击了几何学如果说AI只是通过穷举法或暴力计算找了几个特例数学家们还不至于如此破防。真正让整个学术界倒吸一口凉气、感到极度不安的是这个证明的极高品味和创造力。离散几何问题通常需要用几何或者组合数学的工具来解决。但OpenAI的模型在思考这个初等几何问题时突然打通了数学宇宙中一条隐秘通道——它从遥远的「代数数论」中借来了重武器。当初埃尔德什构建网格时利用了「高斯整数」形如a bi的复数其中a和b是整数。高斯整数就像是普通整数在复平面上的延伸具备唯一分解定理等优良性质。而AI展现出了令人惊叹的洞察力它没有被高斯整数限制住而是将这个几何构想推向了一个人类完全没敢想的极端——首先它构建了极其复杂的代数数域拓展。它引入了具备更丰富、更高维对称性的代数数域。在这些高维对称空间里能够产生远比人类已知网格多得多的「单位长度差」。其次它驾驭了顶级的数论工具。为了证明它所设想的这种复杂数域在数学上确实存在在长链条推理中AI极其熟练地调用了「无限阶级域塔」Infinite Class Field Towers和「高罗德 - 沙法列维奇理论」Golod–Shafarevich Theory。这些工具是代数数论皇冠上的明珠即便是专门研究数论的人类专家想要将它们天衣无缝地组合在一起也需要耗费数年心血。然而一个通用推理模型却在解决一个几何问题时自发地将这两者结合完成了惊人的跨界降维打击普林斯顿大学的组合数学泰斗Noga Alon表示亲眼看到这个内测模型给出解答时他被这种优雅且聪明的手法深深震撼了。英国皇家学会院士、菲尔兹奖得主Thomas Bloom也在配套论文中写道“当评估AI生成的某个证明的重要性时我会问自己它有没有教会我们关于这个问题的新知识我们对离散几何的理解加深了吗答案是一个毫无疑问的「是的」。它向我们展示了数论结构在解决这类几何问题上拥有远比我们想象的要深邃得多的发言权。”不是偏科战神而是通才更惊人的是OpenAI特别强调了一点“这个证明来自一个全新的通用推理模型而不是一个专门为了解决数学问题或特定猜想而构建的定制系统。”在过去AI解决数学问题往往依赖人类精心设计搜索框架或者在特定领域如自动定理证明Lean语言内进行局限的试错。但这一次AI是在一个前所未有的广阔空间里展现出了真正的长链条、高内聚推理能力。数学是全人类逻辑思维最严苛的试金石定义不允许有半点含糊。每一个中间步骤都可以被严格验证。长达数十页的论证只要中间有一处逻辑断裂整个证明就会瞬间崩塌。AI成功了它像一个冷静的、经验极其丰富的棋手在人类甚至无法觉察的知识图谱中完美地把控住了数万步的逻辑链条没有出现一次致命幻觉。这种在宏观上跨越数论与几何、在微观上丝丝入扣的推理能力正是AGI最核心的圣杯。科学研究的范式转换人类数学家下岗了吗所以人类学者会沦为旁观者吗恰恰相反。这次突破恰恰体现了人类的重要性。在AI生成原始证明后人类顶尖数学家团队迅速介入。他们不仅验证了证明的正确性还在短时间内写出论文普林斯顿的威尔·萨温教授更是敏锐提炼出了δ 0.014的精确值。AI是一个探险家踩出一条路带回宝石。人类科学家则凭借直觉将宝石擦亮。正如英国数学家Thomas Bloom的赞叹“知识的疆界从来不是平坦的而是充满了尖锐的峭壁。AI正在帮助我们更全面地探索我们几个世纪以来建立的数学大教堂在这些宏伟的穹顶之下还有多少未被看见的奇迹正在侧翼等待着被唤醒”而这股风暴也将席卷数学之外的整个世界。在博客最后OpenAI指出一个宏大图景。如果一个模型能够保持极其复杂的论证前后一致能够将相距万里的知识领域融会贯通并且其产出的成果能够通过最挑剔的人类专家的审视——那么这样的能力将同样适用于生物学、物理学、材料科学、工程学和现代医学。AI已触及科学研究中最具核心创造力的部分。人类的洞察力、审美从未如此放大。而这个世界的剧变才刚刚开始。
