OpenAI被曝逼近霍奇猜想:一个月内或连破两道千禧年难题

继 9 月初宣布解决纳维 - 斯托克斯存在性与光滑性问题后,OpenAI 又被曝出正在逼近另一道千禧年大奖难题 。据《The Information》援引知情人士说法,OpenAI 员工预计霍奇猜想有望在不久后得到解决。

📌 事件概览: 从纳维 - 斯托克斯到霍奇猜想

当地时间 9 月 8 日,OpenAI 宣布其内部未公开的 AI 模型已成功解决纳维 - 斯托克斯存在性与光滑性问题 。该模型性能据称远超最新发布的 GPT-6 Astra。纳维 - 斯托克斯问题是克莱数学研究所于 2000 年提出的七个千禧年大奖难题之一。

如今, 同一消息源透露,OpenAI 已将目标转向霍奇猜想 。霍奇猜想关注的是由多项式方程定义的几何形状中, 某些几何特征能否始终用更简单的代数结构来描述。不过, 即便找到解法,OpenAI 也可能不会立即公开, 公司正在权衡如何与数学界合作发布, 以避免重蹈此前争议的覆辙。

🔍 核心信息: 成本、模型与发布策略

• 高昂投入 : 为解决纳维 - 斯托克斯问题,OpenAI 可能已花费数百万美元。
• 模型代号 : 知情人士称, 当时使用的是下一款预训练模型的一个变体, 代号为“Doug”。
• 发布谨慎 : 霍奇猜想的解法即便完成,OpenAI 也可能选择延迟公布, 优先协调数学界意见。

部分 OpenAI 研究人员认为, 继软件工程之后 , 数学是大模型最自然的下一块试验场。两者都依赖一步步的逻辑推理, 且结果往往可以自动验证对错。一些研究人员甚至判断, 过去一年席卷软件工程领域的自动化进程, 未来 6 至 9 个月也可能在数学领域上演。

💡 影响与看点:AI 能否推动数学研究自动化

攻克高难度数学问题还有另一层意义: 推动机器学习研究本身实现自动化。 机器学习研究离不开大量数学 , 而研究自动化又是 AI 开发商迈向“AI 开发 AI”的重要一步, 这种能力通常被称为递归式自我改进。

让前沿模型挑战从未有人解决过的数学难题, 也能帮助研究人员判断模型究竟进展到了什么程度, 以及复杂推理能力有多强。

如果模型能够攻克纳维 - 斯托克斯问题和霍奇猜想这种级别的难题, 也可能说明它们有能力处理生物学、化学等领域中难度相当的问题 。这为 AI 在科学发现中的应用打开了更广阔的想象空间。

📊 总结

目前关于霍奇猜想即将被攻克的消息仍来自匿名人士,OpenAI 尚未正式确认 。但可以确定的是, 数学正成为大模型能力验证的新战场。从纳维 - 斯托克斯到霍奇猜想,OpenAI 的连续动作表明,AI 与数学的深度结合可能比预期来得更快。