OpenAI称新数学成果触及黎曼猜想

这个拒绝沉寂的断言

OpenAI 发布了它自称是 AI 系统产出的首批真正意义上的数学成果——数百项新结果，其中数项触及黎曼猜想，这是数论中最著名的未解之谜。公司并没有扔出一份打磨 polished 的论文，而是抛出了一份原始的输出日志，请全世界去验证。

这既是自信，也是绝望。或许两者皆有。

为何这与以往所有 AI “突破"都不同

过去 AI 在数学领域的胜利——开普勒猜想的严格证明、群论中某些结构的分类——都是局限的。AI 如同一台 sophisticated 的计算器，在严格定义的框架内运转。它没有提出新问题，没有发现人类遗漏的模式，它只是核查答案。

这一次，模型生成了假设。它发现了数论中通常互不相通的领域之间的联系。其中一些联系似乎触及了素数分布问题——而这正是黎曼猜想所关注的核心。即便只有其中一小部分经得起检验，OpenAI 也已越过了所有 AI 系统此前从未跨越的界线：它已进入数学发现的领域，而非仅停留于数学验证。

若结果立得住，谁将受益

OpenAI 赢得了显眼的奖赏：在一个其竞争对手仍在初等微积分之外挣扎着产出连贯结果的领域，攫取品牌统治地位。但第二层赢家更为有趣。那是全球数学界——它一直假设 AI 是计算和形式化的工具，而非灵感之源。

AI 资助薄弱的大学——绝大多数，包括日本数所顶尖机构——突然面临一个新的等级秩序。东京、巴黎或圣彼得堡的一名研究人员，只要能接触 OpenAI 的最新系统，便获得了一种任何机构声誉都无法购买的资源：一种规模远超任何人类团队所能匹敌的原始模式发现能力。问题不在于此是否公平，而在于这个学科能否吸收它，而不至于失去历来驱动数学前进的人文内核。

谁将受损

每一位数学家——他们花数十年光阴，通过与问题缓慢而审慎的反复交锋来打磨直觉。每一位期刊编辑——他们将面临包含结果的投稿，而这些结果至少部分由一台不理解该结果为何重要的机器生成。每一个资助机构——它们曾以为数学领域的 AI 意味着常规证明的自动化，而非某种远为混乱的事物。

还有更为安静的输家：将数学视为纯粹人类事业的叙事。黎曼猜想被称为数学王冠上的明珠。如果一台 AI 在无需以人类方式理解这个问题的情况下逼近其中的结论，我们便失去了关于这个问题的意义所承载的某些重要东西。

与黎曼猜想的关联：这意味着什么

黎曼猜想关乎黎曼ζ函数的零点及其与素数分布的关系。它的陈述简洁明了，却几乎不可能证明。克雷数学研究所为此悬赏百万美元。纯数学中数百项结果依赖于它为真。

OpenAI 并未声称解开了这个猜想。它声称其系统生成了几百项新结果，其中一些触及了这一领域。这一区别至关重要。在黎曼猜想附近寻找模式，与证明任何关于它的事情完全是两回事。但这已是任何 AI 最接近的一次——它暗示，或许值得向一台不知自己正在做什么的系统提出更难的问题。

拿破仑密码增添背景

大约在同时期，OpenAI 的 GPT-6 Astra 被报告破译了一份困扰学者 217 年的拿破仑通信。这一成就属于密码学而非纯数学，但它揭示了同样的模式：OpenAI 正在用那些长期抵抗人类解答的问题来测试其模型，并公开展示结果。这些是关联的努力还是并行的努力，目前尚不明确。但可以确定的是，这家公司正将自己定位为那个打开先前紧闭之门的存在。

为何日本科学媒体率先报道

日本有着悠久的严谨数学研究传统，以及将纯数学视为独立于功用的学科的深厚文化敬意。当工具与发现者的边界开始模糊时，日本科学媒体往往最先警觉。共同社以此新闻为首条，表明它以应有的严肃性对待这一断言——并非因为 OpenAI 值得信任，而是因为数学界无力承受无视它的代价。

接下来会发生什么

未来十二个月将决定这是一座里程碑，还是一件披着华丽外衣的幻觉。数学家将尝试复现这些结果。期刊将决定是否刊登。OpenAI 要么在数学声称上加倍押注，要么转向下一个头条。围绕 AI 霸权的全球竞争将继续把数学当作能力的代理指标，尽管数学是唯一一个单一的虚假证明就能彻底摧毁可信度的领域。

更深远的意涵更为难以接受：如果 AI 可以在不理解的情况下产出真正的数学洞察，那么理解对于进步而言，或许并不像数学长久以来所假设的那样不可或缺。这是科学哲学家的问题，也是今日每一个资助 AI 的国家所必须面对的问题。