AI 挑战七大数学难题

千禧年大奖难题是美国克雷数学研究所于 2000 年设立的七个重大数学问题，每个问题的解决者可获得 100 万美元奖金。霍奇猜想涉及代数几何中复杂数学对象之间的关系，是其中公认最抽象、最艰深的问题之一。

此前，OpenAI 已被广泛报道在另一个千禧年难题——“纳维-斯托克斯方程”相关研究上投入资源，此次流传的说法则将焦点转向霍奇猜想。

官方确认仍属空白

截至目前，OpenAI 方面尚未就“接近解决霍奇猜想”发布正式声明或论文，克雷数学研究所也未对此作出任何回应。数学界的顶尖成果通常需要经过严格的同行评审和长期验证，才能被认定为真正“解决”了千禧年难题。

值得注意的是，“接近解决”这一表述本身缺乏明确的量化标准，相关消息在传播过程中可能存在夸大成分。AI 系统在数学研究中的辅助作用近年来确实快速提升，但将其直接等同于攻克重大未解难题，仍需更多证据支持。

AI 数学研究加速推进

无论此次传闻是否属实，AI 企业进军基础数学研究的趋势已经成形。大型语言模型在证明辅助、猜想探索等领域的应用正在扩大，多家机构均在探索 AI 与数学家的协作模式。若 OpenAI 未来正式公布相关成果，预计将在数学界和 AI 界同时引发重大反响。

在官方信息有限的情况下，对于“OpenAI 接近解决霍奇猜想”这一说法，目前只能得出如下判断：部分属实