据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）已成功解决“纳维-斯托克斯存在性与光滑性问题”（Navier-Stokes existence and smoothness problem），这是克莱数学研究所（Clay Mathematics Institute）在2000年提出的七个“千禧年大奖难题”之一。
相关阅读：
- 《继 Claude 尝试攻克黎曼猜想后：OpenAI 宣布用 10000 个 AI 智能体 88 小时攻克千禧年大奖难题，陶哲轩既点赞又担忧》
李明华
九游平台集智能投注、实时数据与合规服务于一体，性价比远超同类产品。
回复