OpenAI又拿下一个千禧年难题

距离OpenAI宣布用88小时攻破千禧年难题「NS方程」，才仅仅过去两天。

大家还没从震惊中缓过神来，更炸裂的瓜又来了。

今天，X上的一条爆料直接引爆了全网：

OpenAI据传已经接近完成对第二道千禧年难题——霍奇猜想（Hodge conjecture）的验证。

这绝不仅是空穴来风。

今天凌晨，《纽约时报》一篇特稿，直接放出了OpenAI的官方实锤：

过去五年，内部团队在另一个千禧年大奖难题取得了实质性进展，并准备对外公布。

如今，坊间的风声已经彻底刹不住了。

OpenAI和它的宿敌Anthropic似乎正处于极度疯狂的暗中竞速状态，双双向第三道难题「BSD猜想」发起最后冲锋，部分工作甚至已经进入了验证阶段。

如果这一切属实，那就意味着，人类在一个月内，将亲眼目睹三道困扰数学界数十年的千禧年大奖难题，被AI接连挑落马下。

近期密集的数学突破，反复向世界传递着同一个信号——

在这个9月，AGI似乎已经不再是一个远期概念。它正带着超越人类整体智力上限的狂暴势头，直接向ASI演进。

拓展阅读：OpenAI官宣：88小时攻破千禧年难题！

霍奇猜想与BSD猜想，到底在问什么？

2000年，克雷数学研究所悬赏设立了七道千禧年难题，每道奖金100万美元。

题目横跨流体力学、拓扑学、数论、代数几何、计算理论与量子场论，任何一道获解都足以重塑现代数学版图。

26年间，人类仅攻克了其中一道。

2003年，俄罗斯数学家佩雷尔曼证明庞加莱猜想，随后拒领奖金并淡出学术界。其余六道自此沉寂。

打破僵局的节点出现在前天。

OpenAI宣布其内部模型调用约10000个智能体，耗时88小时攻破纳维-斯托克斯方程，并释出了166页论文及通过检验的Lean形式化验证代码。

紧接着，风向便迅速吹向了BSD猜想，以及此前人类已有诸多阶段性成果、正待临门一脚的霍奇猜想。

学界过往的探索迹象，多偏向于霍奇猜想可能并不成立。

若要证伪，只需构造出一个有效反例即可——

而这恰恰是AI依仗暴力算力能够精准切入的盲区，也就是人类数学家在黑板上常轻描淡写写下的「易知」与「注意到」。

这两道被AI盯上的神级猜想，究竟在问什么？

霍奇猜想：高维空间的「拓扑配方」

霍奇猜想由英国数学家威廉·霍奇于1950年在国际数学家大会上提出，属于代数几何范畴。

其核心问题在于几何与代数的对应。

数学家常研究一类被称为「代数簇」的高维几何形体，它们由多元多项式方程的解集构成，维度远超肉眼与空间直觉所能企及的极限。

为了剖析这些形体，拓扑学工具将复杂的形状拆解为不同维度的「构件」。

拆解过程中会抽象出一系列拓扑特征（即Hodge类），用于刻画形体内部的深层隐结构。

霍奇猜想探讨的核心正是：这些抽象的拓扑结构，能否全部由真实的、具象的代数多项式方程片段（代数闭链）拼接表达？

或者换个通俗的说法，高维空间里每一种自然的拓扑「纹理」，背后是否都必然对应着一份确切的代数「配方」？