据 The Information 报道,OpenAI 据称正接近攻克数学界七大千禧年难题之一的霍奇猜想。这是继纳维-斯托克斯方程之后,该公司据报瞄准的第二个千禧年难题。霍奇猜想探讨的是,某些几何对象的性质是否总能通过更简单的代数构件来描述。
知情人士称,OpenAI 内部员工预计很快就能得出解法,但正式对外公布的时间可能被推迟。原因与上一次的公关风波有关:纳维-斯托克斯方程的解至今仍未获得官方确认,而围绕它的对外沟通引发了争议。据报 OpenAI 这次希望把信息发布的方式处理得更妥当。
报道提到,在纳维-斯托克斯方程的求解中,OpenAI 使用了一款下一代预训练模型的变体,代号为 “Doug”,成本可能高达数百万美元。这一细节显示,攻克此类数学难题需要投入相当规模的算力与资金。
值得注意的是,OpenAI 首席研究员 Jakub Pachocki 曾在 Astra 发布活动上表示,公司会优先聚焦“递归自我改进”,也就是让 AI 优化自身,而非数学。因此,公司究竟希望从解决这些数学难题中获得什么,目前并不清晰。报道称,OpenAI 内部一些人认为,这类成果或许能反哺递归自我改进的研究。
与此同时,数学界的反应更多是愤怒而非赞叹。部分数学家认为,整个数学领域正面临威胁。这种情绪与 AI 公司高调宣称攻克基础数学难题的姿态形成张力,也让外界对相关成果的严谨性与归属产生疑问。
从更广的背景看,千禧年难题由克莱数学研究所于 2000 年提出,每个难题悬赏 100 万美元,至今只有庞加莱猜想被正式解决。AI 模型若真能在其中取得实质突破,将是对“AI 能否做原创数学研究”这一命题的重要检验。但截至目前,相关说法仍属未经证实的传闻,纳维-斯托克斯方程的解也尚未得到官方确认。
对关注 OpenAI 与 AI 前沿的人来说,这条消息的意义有两层:一是技术层面,AI 是否正从辅助计算走向独立提出并解决高难度数学问题;二是传播层面,一家公司在成果尚未经同行评审前如何对外发声,正成为其公信力的一部分。OpenAI 这次选择推迟公布,或许正是吸取了上一次的教训。