AI做出四大顶刊级研究，数学家们为什么不安？

一句话看懂：OpenAI 的一个通用 AI 模型，在没有专门训练或人工引导的情况下，推翻了数学家保罗·埃尔德什在 1946 年提出的“单位距离猜想”，成果达到了《数学年刊》的发表标准。这是 AI 首次在数学核心问题上做出顶级人类研究者级别的突破。

事件核心：发生了什么

5 月 21 日，OpenAI 宣布其内部通用 AI 模型（非专为数学训练）成功构造出一个反例，证明平面上 n 个点可以产生至少 n^1+δ 条单位距离，其中 δ 至少为 0.014。这直接推翻了埃尔德什猜测的量级 n^1+o(1)。该成果经菲尔兹奖得主蒂莫西·高尔斯（Timothy Gowers）等数学家审核，被认为达到《数学年刊》的发表标准。OpenAI 发布了长达 125 页的思考过程摘要。人类数学家 Will Sawin 随后在优化中将下界明确为 δ=0.014。

为什么重要

这是 AI 首次在数学核心难题上做出“推翻已有猜想”的贡献，且不依赖人类预设的思路框架。AI 采用了人类数学家因“试错成本过高”而放弃的路线——将数域扩张次数推至无穷，并动用类域论与 Golod-Shafarevich 无限塔等重型工具，最终在代数与几何之间找到平衡。这证明 AI 不仅能模仿人类计算，还能在人类认为的“极限”之外探索新结构，对数学研究范式的冲击是根本性的。

对用户/开发者/创作者的影响

对 AI 开发者而言，OpenAI 在此次研究中投入了“惊人的算力”，意味着这类高阶推理能力仍极度依赖算力资源，短期内不适用于普通 API 调用。对内容创作者和研究者来说，125 页的思维链摘要提供了前所未有的“AI 思考过程”样本，是训练下一代推理模型和评估算法透明性的重要素材。对于数学工具类应用（如 CoCalc、Wolfram Alpha），这可能催生新的“AI 辅助证明”功能，但落地时间不确定。

AI 工具推荐

想把多个 AI 模型放在一个入口？

GamsGo AI 集成 ChatGPT、DeepSeek、Gemini、Claude、Midjourney、Veo 等常用模型，适合写作、绘图、视频和日常 AI 工作流。

了解 GamsGo AI

推广链接：通过此链接购买，我可能获得佣金，不影响你的价格。

值得关注的后续

第一，OpenAI 是否会将此模型的能力标准化为可调用的推理 API，以及定价策略。第二，该成果是否会被其他团队在开源的推理模型（如 DeepSeek、Mistral）上复现，从而拉低此类任务的算力门槛。第三，高尔斯等数学家已开始呼吁建立专门的“AI 证明验证”标准，未来顶级期刊是否为此设立新审稿流程，将影响学术界的长期接受度。

来源：虎嗅 (Huxiu)

AI做出四大顶刊级研究，数学家们为什么不安？