数学界炸锅了!AI居然用数论“核武器”,把埃尔德什80年的几何猜想给推翻了?
5月21日凌晨,OpenAI官宣了一个载入史册的突破:他们的全新通用推理模型,在没有人类数学专家干预的情况下,独立攻克了离散几何里沉睡近80年的埃尔德什单位距离猜想。
这是人类历史上第一次,AI自主解决了数学核心领域的重大开放性难题。
要理解这个突破有多牛,得先回到1946年。传奇数学家埃尔德什提出了一个问题:二维平面上n个点,最多能有多少对距离刚好是1的点?
这个问题简单到小学生都能听懂,但80年来,无数顶尖数学家都栽了跟头。
数学家把这个最大数记为u(n)。你可能会想,摆成正方形网格不就最多吗?确实,网格能给出大约2n对单位距离。
过去几十年,所有人都觉得网格就是极限,埃尔德什甚至猜想u(n)的上限是n log n(o(1)项忽略),意思是增长速度比线性快一点,但绝对不会有质的突破。
为了激励后人,埃尔德什还设了现金奖励。可80年过去了,下界方面,埃尔德什当年用网格给出的n√log n结果,人类再也没提升过;上界方面,1984年的O(n^4/3)也像铁律一样没被打破。所有人都以为,网格就是大自然的极限了。
结果OpenAI的模型出手,直接颠覆了所有人的认知!它不仅证明了猜想,还推翻了它——找到了人类从未想过的全新点阵构型,让单位距离点对数量达到了n^(1+δ)(δ是大于0的常数)。
普林斯顿教授Will Sawin验证后,还算出δ能取到0.014。这意味着单位距离数量实现了多项式级的跃升,彻底打破了埃尔德什的上限!
更让数学家们破防的是证明的方法。离散几何问题通常用几何或组合工具解决,但AI居然从代数数论里借来了“核武器”。
埃尔德什用的是高斯整数(a+bi),而AI直接拓展到了更复杂的代数数域,引入了高维对称性,还熟练调用了“无限阶级域塔”和“格罗滕迪克-沙法列维奇理论”这些数论皇冠上的明珠。
连专门研究数论的专家组合这些工具都要花数年,AI却自发地用它们完成了跨界降维打击!
更惊人的是,这个突破来自一个通用推理模型,不是专门为数学设计的定制系统!过去AI解决数学问题,要么靠人类设计框架,要么在特定领域试错。
但这次,AI展现了真正的长链条推理能力:定义不含糊,每一步都能验证,数万步逻辑链条没有一次致命幻觉。这种跨越数论与几何、微观上丝丝入扣的能力,正是AGI(通用人工智能)最核心的特征。
就像英国数学家Thomas Bloom说的:AI是探险家,踩出一条路带回宝石;人类科学家则用直觉把宝石擦亮。知识的疆界充满峭壁,AI帮我们探索数学大教堂里未被看见的奇迹。
这场风暴不止席卷数学界。OpenAI指出,如果模型能保持复杂论证的一致性,融会贯通不同领域知识,还能通过人类专家的审视,那这种能力也适用于生物学、物理学、材料科学和医学。
AI已经触及科学研究最核心的创造力部分,人类的洞察力从未如此被放大。
这个世界的剧变,才刚刚开始。你觉得AI未来会在哪些科学领域带来颠覆性突破?评论区聊聊你的看法!
热门跟贴