一款来自 OpenAI 的通用人工智能模型，通过证明或反证一个著名的数学猜想——单位距离问题，在数学领域取得了突破。这一成果引发了数学界的广泛讨论，其重要性在于 AI 采用了多种冷门技术的组合，沿着人类研究者通常会忽略的路径进行探索。尽管这一发现并未带来全新的工具，但预计会对离散几何学产生深远影响。同时，这也凸显了人类专家在审查、改进和理解 AI 成果中不可或缺的关键作用，而真正能直接读懂这份复杂证明的人，在全球范围内可能只有几百到几千人。
一个令人惊讶的重大突破
OpenAI 的通用 AI 模型解决了一个重要的数学难题，即保罗·埃尔德什（Paul Erdős）提出的 单位距离问题。这个问题自 1946 年首次提出以来，一直被认为是“组合几何中最著名（且最容易解释）的问题”。
对于一个 AI 来说，能为一个如此水准的问题提供解决方案，既 令人惊讶又令人印象深刻。
AI 如何取得成功？
人类研究者此前之所以未能解决这个问题，是因为其解法需要多种不同寻常的思路和技术汇集在一起。而 AI 恰好满足了这些条件。
它的成功秘诀在于：
- 它能专注于一个问题，并投入巨大的计算资源进行思考。
- 它熟悉海量的技术工具和文献，远超任何人类个体。
- 它拥有超乎常人的耐心，能够坚持不懈地探索那些人类研究者可能因“不值得”而放弃的路径。
影响与人类的关键角色
尽管这一成果没有像人们期待的那样，引入强大的新几何工具，但它所包含的构造方法和思想，无疑将对离散几何学产生重要影响。
此外，这个过程也凸显了人类不可替代的价值：
- AI 生成的原始证明虽然完全有效，但经过了人类研究员和数学家的显著改进。
- > 人类在讨论、消化、改进这份证明以及探索其后续影响方面，仍然扮演着至关重要的角色。
这标志着一些数学家开始承认，AI 正在成为他们中的“自己人”。
究竟谁能读懂这份证明？
这份长达 42 页的证明，其复杂程度远超普通人想象。对于“能读懂”的定义，可以进行如下分层估算：
第一层级：可以直接审阅
- 全球大约 150 到 400 人。他们是活跃在相关领域的代数数论专家，可以不借助额外学习就能跟上论证过程。
第二层级：需要花一两周时间研究
- 全球大约 2,000 到 5,000 人。他们是其他领域的数论专家或顶尖研究生，需要通过查阅资料来理解其中的技术细节。
第三层级：能看懂科普文章，但无法验证细节
- 超过 5 万到 20 万人。这包括大多数职业数学家、物理学家和计算机科学家，他们能理解论证的整体结构，但无法深入细节。