突破80年数学难题

突破80年数学难题！

OpenAI推理模型改写离散几何研究史 | blog OpenAI 的通用推理模型自主破解了存在 80 年之久的离散几何难题——单位距离问题。

这不仅是 AI 首次独立解决数学领域的重大猜想，更通过跨学科的“降维打击”，证明了 AI 具备从现有知识中提取并建立全新逻辑连接的原创能力。

关于“LLM 只是在对训练数据进行插值”的论调，最近被一个数学事实扇了耳光。

大家常说 AI 没有创造力，只是在已有的知识凸包（Convex Hull）里做插值，也就是在已知点之间找过渡。

但 OpenAI 的模型刚刚做了一件极其反直觉的事：它推翻了 Erdős 提出的单位距离问题猜想。

这个猜想困扰了数学界 80 年，大家一直觉得“方格阵列”就是最优解，结果 AI 甩出了一个完全不同的构造方式。

有意思的是，这个解法不是靠暴力穷举，而是极其优雅地把代数数论里的深奥工具，跨界应用到了几何问题上。

这就像是在一个原本以为已经填满的房间里，AI 突然发现了一扇通往新维度的门。

有网友对此讨论得很有深度。

有人认为，这种跨领域的“组合创新”本质上就是一种高级的插值，因为工具本身是人类发明的。

但也有观点反驳，如果 AI 仅仅是复读机，它怎么可能在没有任何几何学训练的情况下，精准地调用代数数论的“武器库”来解决问题？

这让人想起计算机体系里的指令流水线。

如果 LLM 只是简单的查表，它永远无法处理未定义的指令。

现在的突破说明，模型内部已经形成了某种程度的“概念表征”，它能通过逻辑链条，在看似无关的知识层级之间进行函数调用。

这并不意味着数学家失业了。

相反，当 AI 能在庞大的知识空间里进行高效搜索和路径探索时，人类的价值在于定义那些“值得被解决”的问题，并从 AI 给出的奇异解中，读出背后的真理。

数学的疆域远比我们看到的要大，也许我们之前只是在已知空间的边缘徘徊。