新智元
26-05-21 14:59 微博认证:新智元官方微博

OpenAI全新通用推理模型,在没有任何人类数学家干预的前提下,自主攻克了离散几何学中沉睡近80年的核心难题——埃尔德什单位距离问题。

这个问题由传奇数学家保罗·埃尔德什于1946年提出:在二维平面上任意画n个点,两点距离恰好等于1的点对,最多能有多少?

埃尔德什猜想,无论如何排布,单位距离点对的增长速度都只能比线性稍快一点点。此后80年,包括陶哲轩在内的无数顶尖数学家前赴后继,既无法打破1984年确立的O(n^{4/3})上界,下界也在1946年的正方形网格基础上寸步未行。

AI不仅证明了猜想,更直接推翻了猜想。它在平面上构造出一种人类数学家从未想象过的全新点阵构型,让单位距离点对数量实现了指数级跃升,彻底击穿埃尔德什当年预测的上限。普林斯顿教授Will Sawin随后连夜完成精细化推导,确认关键参数δ可明确取到0.014。

真正让学术界倒吸一口凉气的,是这个证明的品味与创造力。面对一道离散几何题,AI没有用几何或组合数学工具,而是从「代数数论」中借来了重武器——引入高维代数数域拓展,并熟练调用「无限阶级域塔」与「高罗德-沙法列维奇理论」这两件数论皇冠上的明珠,完成了一次惊人的跨界降维打击。即便是专门研究数论的人类专家,想将这两者天衣无缝地组合也需耗费数年心血。

更关键的是,这是一个通用推理模型,而非专为数学定制的系统。它在宏观上跨越数论与几何、在微观上把控数万步逻辑链条,没有出现一次致命幻觉——这正是AGI最核心的能力标志。

人类数学家并未出局,恰恰相反。AI踩出一条路、带回宝石,人类科学家将宝石擦亮。

OpenAI指出,这种能力同样适用于生物学、物理学、材料科学与现代医学。AI已触及科学研究中最具核心创造力的部分,而这个世界的剧变,才刚刚开始。