传 OpenAI 逼近验证 Hodge 猜想证明,另一猜想或在攻克中

kimmonismus · x · 2026-09-10

X 上流传的传闻称,OpenAI 接近验证一个 Hodge 猜想的证明,同时 OpenAI 或 Anthropic 之一可能接近解决 Birch–Swinnerton-Dyer 猜想——两者都是困扰数学界数十年的千禧年大奖难题。若 AI 生成的证明真的获得验证,将是数学史上的历史性成就,也是模型能力的惊人展示。发帖人补充认为传闻可信度不低:据报道 OpenAI 内部模型一周前已展现出很强能力;若真如此快速解决一个千禧年难题,OpenAI 有动力继续攻克更多,而 Anthropic 传闻中的 IPO 也加剧了竞争压力。注意:均为未经证实的传闻。