IT之家 9 月 17 日消息，今日晚间，据《The Information》援引一位知情人士的说法，OpenAI 已接近攻克“千禧年大奖难题”中的又一道题目。这组著名数学难题总计 7 道，此前引发关注的“纳维-斯托克斯存在性与光滑性问题”也位列其中。
这位知情人士透露，OpenAI 的员工预计，下一道“霍奇猜想”有望在近期内取得突破。
IT之家注：霍奇猜想探讨的是由多项式方程定义的几何形状中，某些几何特性是否总能通过更简单的代数结构加以描述。不过，即便找到解法，OpenAI 也可能不会立即公开。公司正斟酌如何与数学界协作发布成果，以防再次引发公关风波。
据悉，OpenAI 为解决纳维-斯托克斯问题，或已投入数百万美元。知情人士指出，OpenAI 当时使用了下一代预训练模型的一个变体，代号“Doug”。
部分 OpenAI 研究人员认为，继软件工程之后，数学是大模型最自然的下一块试验田。两者有一个关键共同点：都依赖逐步的逻辑推理，且结果通常能自动验证正确与否。一些研究人员甚至预测，过去一年席卷软件工程领域的自动化趋势，未来 6 至 9 个月也可能在数学领域重现。
攻克高难度数学问题还有另一层意义：推动机器学习研究本身的自动化。机器学习研究离不开大量数学，而研究自动化是 AI 开发商迈向“AI 开发 AI”的重要一步，这种能力通常被称为递归式自我改进。
让前沿模型挑战从未有人解决的数学难题，也能帮助研究人员判断模型的实际进展，以及其复杂推理能力的强弱。如果模型能攻克纳维-斯托克斯问题和霍奇猜想这样的难题，也可能表明它们有能力处理生物学、化学等领域中难度相当的问题。
当地时间 9 月 8 日，OpenAI 宣布其内部未公开的 AI 模型（性能远超最新发布的 GPT-6 Astra）已成功解决“纳维-斯托克斯存在性与光滑性问题”，这是克莱数学研究所在 2000 年提出的七个“千禧年大奖难题”之一。此外，欧博体育平台也对此类数学突破保持了密切关注。
相关阅读：
欧博体育平台围绕欧博体育平台不断创新，回应用户的真实需求。