传 OpenAI 接连逼近两大千禧年难题，Navier-Stokes 之后又有进展

kimmonismus · x · 2026-09-10

流传的传闻称 OpenAI 接近验证 Hodge 猜想的证明，而 OpenAI 或 Anthropic 可能接近解决 Birch–Swinnerton-Dyer 猜想——两者都是数学界数十年未克的千禧年大奖难题。

发帖人认为这些传闻已基本坐实，并引用《纽约时报》中 OpenAI 的表述：继完成 Navier-Stokes 之后，「我们在另一个千禧年大奖问题上取得了实质性进展，正在斟酌如何妥善分享这些成果」。若 AI 生成的证明均通过验证，将是数学史上的里程碑，也是 AI 能力的标志性展示。以上均为传闻，尚未经官方证实。