OpenAI据传攻关霍奇猜想 第二道千禧难题

时间：2026年9月17日，美国科技媒体The Decoder独家披露，据知情人士透露，OpenAI正全力攻关第二道千禧年大奖难题——霍奇猜想（Hodge Conjecture），距其宣布用88小时、上万个AI智能体攻克纳维-斯托克斯（Navier-Stokes）方程仅过去9天。 地点：美国加州旧金山OpenAI总部及其内部研究实验室，事件波及纽约大学克雷数学研究所及全球数学界。 人物：OpenAI首席研究员Jakub Pachocki领衔的核心研究团队；克雷数学研究所（Clay Mathematics Institute）；NYU数学家Tristan Buckmaster、Anthropic研究人员Levent Alpöge；菲尔兹奖得主陶哲轩（Terence Tao）；X平台爆料人@synthwavedd。 事件详情：据The Decoder援引"熟悉内情人士"的话，OpenAI正在使用其下一代预训练模型的变体（内部代号"Doug"）推进霍奇猜想的完整形式化验证，员工预计解决方案"很快公布"。霍奇猜想由苏格兰数学家William Vallance Douglas Hodge于1950年提出，核心问题是：在非奇异复射影代数簇上，每个Hodge类是否都能被表达为代数循环类的有理线性组合——即拓扑学发现的抽象"洞"是否总能由代数方程精确定义。市场还有未经证实的传闻指代号"Aeon"的长程智能体模型也参与了攻关。The Decoder指出，鉴于纳维-斯托克斯发布后遭遇的"PR危机"（NYU指控抢跑等），OpenAI此次有意放缓对外口径。 背景：2000年克雷数学研究所设立7道千禧年大奖难题，每道悬赏100万美元，26年来仅佩雷尔曼2003年证明的庞加莱猜想被攻克（且本人拒领奖金）。纳维-斯托克斯公布后，OpenAI曾向《纽约时报》披露"过去五年在另一道千禧难题上取得实质性进展"，但未点名；X用户@synthwavedd于9月9日率先爆料霍奇猜想接近被验证，相关知乎讨论单日浏览量超4万。 影响：若OpenAI真的提交霍奇猜想完整证明并通过Lean形式化验证，将是26年来数学界首次见证AI攻克代数几何核心难题，可能彻底改写数学研究范式。但陶哲轩等顶尖数学家已警告AI数学成果"快而糙"，Anthropic据传同步冲刺第三道BSD猜想（贝赫-斯维讷顿-戴尔猜想）；OpenAI本次明确表示不会申领百万美元奖金，只作为模型能力的公开标尺。 总结：OpenAI据传正攻关霍奇猜想这一第二道千禧年大奖难题，采用代号"Doug"的下一代预训练模型；尽管Anthropic同步冲刺BSD猜想、数学界质疑不断，但学界与产业普遍预期2026年下半年将有更多"AI数学里程碑"诞生。 参考来源： https://the-decoder.com/openai-reportedly-closes-in-on-solving-the-hodge-conjecture-its-second-millennium-prize-problem/ https://cryptovka.com/news/openai-signals-major-progress-on-second-1-million-millennium-math-prize https://explainx.ai/blog/millennium-prize-problems-ai-solved-fact-check-2026 https://www.36kr.com/p/3978268352707330 https://vocal.media/fyi/the-hodge-conjecture-rumor-openai-a-viral-tweet-and-the-math-worlds-quiet-fury https://www.sohu.com/a/1074897465_122066679