OpenAI可能又要拿下一道千禧年大奖难题了。据一位知情人士透露，这家公司正在攻关Hodge猜想，员工们预计很快就会有结果。不过，任何正式宣布都可能被推迟——上一次Navier-Stokes解法引发的公关风波，让OpenAI这次想把话说得更稳妥些。

Hodge猜想是数学界七大著名千禧年大奖难题之一。它问的是：形状的某些几何性质，是否总能通过更简单的代数构件来描述。这个问题悬置多年，如今被一家AI公司盯上，本身就足够耐人寻味。

打开网易新闻 查看精彩图片

从Navier-Stokes到Hodge：一条未官宣的路线

在此之前，OpenAI对Navier-Stokes问题的解法至今仍未得到官方确认。据披露，为了攻克这道题，OpenAI动用了一款下一代预训练模型的变体，代号“Doug”，花费很可能达到数百万美元级别。

值得注意的是，首席研究员Jakub Pachocki曾在Astra发布会上表示，OpenAI会优先聚焦“递归自我改进”，也就是让AI优化自身，而不是数学。如今接连传出数学难题的进展，与这番表态形成了微妙对照。

公司究竟希望从解数学题中获得什么，目前并不清楚。有内部人士似乎认为，这些成果可能反哺递归自我改进——把数学能力当作AI自我优化的燃料。

数学界的反应：愤怒多于赞叹

与外界想象中的掌声不同，数学社区的反应更多是愤怒，而非佩服。部分数学家感到，自己的整个领域正面临威胁。

这种情绪并不难理解。当一台机器接连逼近人类数十年未解的难题，问题就不再只是“AI能不能做数学”，而是“数学家的位置在哪里”。

OpenAI眼下要处理的，是两件事：一是Hodge猜想的解法能否站得住脚，二是如何对外说明这件事。Navier-Stokes的前车之鉴摆在那里——解法尚未官宣，争议已经先行。这一次，他们显然不想重蹈覆辙。