OpenAI 接近攻克霍奇猜想，数学或成大模型下一试验场

据《The Information》报道，OpenAI 已接近攻克千禧年大奖难题中的霍奇猜想。此前引发争议的纳维-斯托克斯存在性与光滑性问题也属于这组七大数学难题。消息人士称，OpenAI 员工预计霍奇猜想有望在不久后得到解决。

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

部分 OpenAI 研究人员认为，继软件工程之后，数学是大模型最自然的下一块试验场。两者都依赖逐步逻辑推理，结果可自动验证。有研究人员判断，自动化进程未来 6 至 9 个月可能在数学领域上演。攻克高难度数学问题还有助于推动机器学习研究自动化，是迈向“AI 开发 AI”的重要一步。