摘要
又一个AI划时代的时刻！！！ 5月21日凌晨3点04分，菲尔兹奖得主、当代数学巨擘Timothy Gowers在X上发布了一条简短却近乎惊悚的推文。 短短数小时内，这条动态便斩获了超过120万次的浏览量，在整个国际学术界引发了一场十级大地震。 就在今天，OpenAI正式官宣了这项载入史册的科学突破： 在没有任何人类数学专家干预的前提下，内部的全新一代的通用推理模型，自主攻克并彻底推翻了离散几何学中沉睡了近80年的核心猜想——埃尔德什（Erdős）单位距离问题。 这是人类历史上第一次，AI独立、自主地解决了一个处于数学核心领域、让无数顶尖数学家折戟沉沙的重大开放性难题。 菲尔兹奖得主Tim Gowers罕见喊话： 如果你是一位数学家，那么在继续阅读之前，你可能需要确保自己已经坐稳了。 顶级数论学家Arul Shankar震撼发声： 在我看来，这个成果表明当前的AI模型已经超越了人类数学家的助手角色——它们开始具备原创的、精妙的、极具智慧的独立思想，并且有能力将其付诸实现。 这场风暴不仅让数学家们感到坐立难安，更向全人类宣告：AI，已经正式跨入了科学研究的无人区。 极其简单的谜题，与阻挡人类80年的高墙 要理解这项突破有多么不可思议，我们必须先回到1946年。 那一年，20世纪最伟大的传奇数学家之一保罗·埃尔德什（Paul Erdős）提出了一个几何问题： 如果在二维平面上任意画下n个点，那么在这张图里，两点之间距离刚好等于1的点对，最多能有多少对？ 这是连小学生都能听懂，却让后续所有数学家抓狂的问题。 数学家们将最大可能的单位距离点对数量记为u(n)。 这个问题看似像个简单的拼图游戏。如果你只有n个点，想让单位距离最多，你会怎么摆？ 摆成一条直线？那么只有相邻的两点距离为1，你只能得到n-1对。 摆成一个正方形网格？每一格的边长都是1。经过简单的计算，你可以得到大约2n对。 直觉告诉我们，越是对称、越是整齐的结构，包含的单位距离就越多。 因此，在过去的几十年里，全世界最聪明的数学家们达成了根深蒂固的共识： 要让单位距离数量最大化，最好的摆法本质上就是类似于「方格网格」的结构。 基于这种共识，在1946年，埃尔德什提出了著名的猜想（
摘要可能不完整，可查看原文