#AI
OpenAI 传下一道千禧年难题锁定霍奇猜想
纳维-斯托克斯方程的争议还没落地，OpenAI 又放出下一颗炸弹：公司称已在**另一道千禧年大奖难题**上取得「实质性进展」,正在准备公布结果。而目前流传最广的说法，指向的是霍奇猜想。
第一条线索出现得更早 —— Epoch AI 数学负责人 Elliot Glazer 在梳理当时混乱的消息源时就提到，有数学教授从所谓「可信渠道」听说被攻克的其实是霍奇猜想，当时被当成传闻中的传闻。如今旧线索被重新翻出，让它成为**呼声最高的答案**,但没有任何官方确认。
💡 为什么值得看OpenAI 称另一千禧年难题有实质进展，或涉霍奇猜想。
已被 OpenAI 公开的解题规模
- **Agent 规模**：整轮测试产生 490 万条 Agent 消息、约 3000 亿个输出 Token;仅纳维-斯托克斯一题就动用约 1 万个并行 Agent。
- **耗时**：从 Agent 启动到找到解法用了 88 个小时，随后 GPT-6 Astra 花 17 个小时完成 Lean 形式化与验证。
- **争议焦点**：Buckmaster 称主要智力功劳应归于提出内核策略的 Diego Córdoba 与 Luis Martínez-Zoroa,而非最后冲刺的算力。
以上数字均出自 OpenAI 披露与中文转述，霍奇猜想本身尚无任何可核查的技术材料。
查证
来源档案
量子位
中文科技媒体，本篇为对《纽约时报》追访、OpenAI 官方说法与网络爆料的中文综述转述
转述链条较长：霍奇猜想一节明确来自「爆料」与旧传闻拼合，无官方确认；数据说法为 OpenAI 单方面表态，无公开技术材料可独立核查
延伸阅读
中文转述里关于用户数据时间线、OpenAI 谈判条件与 Bubeck 表述的部分，细节密度最高，值得回到原文核对措辞与时间点。