平面单位距离猜想被AI破解，困扰80年数学难题终获解

OpenAI 最新推理模型刚在离散几何领域投下震撼弹——它独立破解了困扰数学界长达80年的“平面单位距离猜想”。这项进展的分量有多重？要知道几年前AI连基础算术都频频出错，如今却能自主攻克高等几何理论，数学界为之震动。

先拆解这个猜想的核心。1946年，传奇数学家艾狄胥提出这个离散几何的根本性问题：在一张纸上放置n个点，其中有多少对点恰好相距1个单位？艾狄胥本人推测，将点排列成整齐的正方形网格能获得最大数量，没有任何其他排布能超越它。80年来，学术界普遍认同“正方形网格”是终极答案。然而OpenAI的通用推理模型另辟蹊径——它自主推导出一套彻底突破传统网格思维的反例，创造性地引入高阶代数数论，在平面上构造出一种全新的点阵排列，直接推翻了艾狄胥的原始猜想。

顶尖数学家验证推理有效

消息公布后，多位非OpenAI的国际顶尖数学家第一时间复核了推理的严谨性。这让不少原本质疑AI能否真正改变数学的学者刮目相看。普林斯顿大学教授阿隆直言，AI做到了人类尝试过却失败的事；多伦多大学助理教授利特称这项成果是“振奋人心的独立研究”。数学界最高荣誉之一菲尔兹奖得主高尔斯给出极高评价：“如果这份推理由人类撰写并投稿到《数学年刊》，而我是审稿人需要快速给出意见，我会毫不犹豫推荐接收。”他甚至补充，人类在解决数学难题方面将很难与AI匹敌。此前多次批评OpenAI早期数学成果的数学家布鲁姆，在仔细审查后也承认：AI拥有超越人类的毅力，走完了那些因太过耗时而被我们放弃的路径。

来源：互联网