千禧年大奖难题

ChainCatcher 消息，OpenAI 向《纽约时报》表示，自 9 月 8 日宣布解决纳维-斯托克斯方程以来，已在第二个千禧年大奖难题上取得“实质性进展”，但未透露具体是哪个难题，也未给出披露时间表。千禧年大奖难题是克莱数学研究所自 2000 年以来设立的七个悬赏 100 万美元的数学难题。外界猜测该难题可能是霍奇猜想，一个关于如何计算复杂几何形状中“孔洞”数量的 76 年历史难题。OpenAI 未证实这一猜测，也未回应关于其背后模型是专为长时间任务设计的 Aeon 版本的传闻。此前 OpenAI 于 9 月 8 日宣布，其未发布的内部模型生成了 Lean 验证的证明，显示纳维-斯托克斯方程可能“爆炸”为物理上不可能的无限速度，整个过程动用了约 1 万个协调 AI 智能体，耗时约 88 小时。但该声明引发争议。纽约大学数学家 Tristan Buckmaster 称，他与 Anthropic 研究员 Levent Alpöge 已在此前近一年里研究相关证明，并于 8 月 22 日完成，而 OpenAI 的 Sébastien Bubeck 得知后抢先发表。OpenAI 表示并非为了 100 万美元奖金，而是将这些难题作为衡量模型进步速度的公开标尺。克莱数学研究所对纳维-斯托克斯证明的审查仍在进行中，过去千禧年难题的验证通常需要数年时间。