千禧年大奖难题 – mylogs.cn https://mylogs.cn 发现、记录、分享 Tue, 29 Sep 2026 15:45:41 +0000 zh-Hans hourly 1 OpenAI 据称即将攻克霍奇猜想，连破千禧难题 https://mylogs.cn/openai-%e6%8d%ae%e7%a7%b0%e5%8d%b3%e5%b0%86%e6%94%bb%e5%85%8b%e9%9c%8d%e5%a5%87%e7%8c%9c%e6%83%b3%ef%bc%8c%e8%bf%9e%e7%a0%b4%e5%8d%83%e7%a6%a7%e9%9a%be%e9%a2%98/ Thu, 17 Sep 2026 17:39:37 +0000 https://mylogs.cn/openai-%e6%8d%ae%e7%a7%b0%e5%8d%b3%e5%b0%86%e6%94%bb%e5%85%8b%e9%9c%8d%e5%a5%87%e7%8c%9c%e6%83%b3%ef%bc%8c%e8%bf%9e%e7%a0%b4%e5%8d%83%e7%a6%a7%e9%9a%be%e9%a2%98/ 9 月 17 日晚间，据《The Information》援引一名了解解法的人士消息，OpenAI 已接近攻克“千禧年大奖难题”中的又一道题目。这组著名数学难题共有 7 道，此前引发争议的“纳维-斯托克斯存在性与光滑性问题”也是其中之一。该人士透露，OpenAI 员工预计，下一道“霍奇猜想”有望在不久后得到解决。

OpenAI 据称接近攻克霍奇猜想
图片来源：IT之家

霍奇猜想是什么

霍奇猜想研究的是由多项式方程定义的几何形状中，某些几何特征能否始终用更简单的代数结构来描述。即便找到解法，OpenAI 可能也不会立即公布。公司正考虑如何与数学界合作发布消息，以避免再次酿成公关危机。

从纳维-斯托克斯到霍奇猜想

当地时间 9 月 8 日，OpenAI 宣布其内部一款未公开的 AI 模型（性能远超最新发布的 GPT-6 Astra）已成功解决“纳维-斯托克斯存在性与光滑性问题”。这是克莱数学研究所（Clay Mathematics Institute）于 2000 年提出的七道“千禧年大奖难题”之一。据悉，OpenAI 为解决纳维-斯托克斯问题，或已花掉数百万美元，当时使用的是下一款预训练模型的一个变体，代号为“Doug”。

为什么是数学

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

更远的意义

攻克高难度数学问题还有另一层意义：推动机器学习研究本身实现自动化。机器学习研究离不开大量数学，而研究自动化又是 AI 开发商迈向“AI 开发 AI”的重要一步，这种能力通常被称为递归式自我改进。让前沿模型挑战从未有人解决过的数学难题，也能帮助研究人员判断模型进展到了什么程度、复杂推理能力有多强。如果模型能够攻克纳维-斯托克斯问题与霍奇猜想这种级别的难题，也可能说明它们有能力处理生物学、化学等领域中难度相当的问题。

截至目前，上述进展均来自媒体援引知情人士的报道，OpenAI 尚未正式公布相关结果，霍奇猜想的最终解法仍有待数学界验证。

]]>