给AI立规矩，AI刚破80年数学难题，数学家们慌了

困扰80年的单位距离谜题被AI一夜间推翻

一个让数学家们绞尽脑汁长达80年的几何难题——平面上任意排列的n个点中，最多能有多少对点相距恰好一个单位距离——在上月被OpenAI的一台通用推理模型攻破。学界过去普遍认为，正方形网格结构是构造最多单位距离对的最优解，但AI在没有特殊辅助的情况下，仅凭来自数学家的一条提示，就独立给出了一个截然不同的答案，直接否决了匈牙利数学家Paul Erdős于1946年提出的经典猜想。

数学巨擘Erdős的猜想成谬误

这个难题的核心在于寻找“最大单位距离对”的极限，Erdős生前曾断言正方形布局是最优逼近方式。然而OpenAI的模型通过分析海量组合可能，发现了一种非对称的、带有一定随机性的点阵排布，其单位距离对数超过了Erdős理论所预测的上限。整件事的正式代号称为“平面单位距离问题”的突破性解。研究论文披露，模型不仅输出了数值结果，还附带了一套人类此前完全未曾考虑过的构造逻辑。这意味着，被数学界奉为圭臬近一个世纪的基础观点，如今被一个算法轻松推翻。

数学家们慌了：答案与理解该如何取舍？

消息传出后，数学圈内震动极大。当算法的“非人化”优势将人类80年的接力赛变成了32小时的副产品时，一个根本性问题浮出水面：人类到底想要一个又一个正确答案，还是想要理解这些答案的过程？许多数学家直言自己“慌了”。他们恐慌的并非AI能解题，而是AI给出的答案虽正确却难以被人类直观理解——它就像一台黑箱，直接抛出了结果，却跳过了数学家们最珍视的推理、美感与直觉。一位受访者表示：“我们习惯了在困境里慢慢挖隧道，但AI直接扔来了一把钥匙，可我们连锁孔在哪都没看清。”

为AI立规矩：当“正确”取代“过程”

尽管数学家们情绪复杂，OpenAI内部人士却对数学家的未来出人意料地乐观。他们认为，AI扮演的角色应该像高级计算器，而非替代人类思维。然而业界已经开始呼吁“给AI立规矩”。核心议题包括：是否应强制AI在解题时附带可解释的推导步骤？当AI独立推翻权威猜想时，学术评审制度是否需要为“非人类推理”设立新标准？更重要的是，若数学研究的终极目标从“理解真理”滑向“找到有效答案”，整个学科的文化根基将被动摇。目前已有多个数学学会提议成立专项工作组，专门审核由AI产出的证明，并规定AI成果必须附带至少一种人类可读的思维链，否则不予承认。这场由80年难题引发的“规矩之争”，正在重新定义人类与AI共同从事智力活动的边界。