传 OpenAI 接连逼近两大千禧年难题，Navier-Stokes 之后又有进展
kimmonismus · x · 2026-09-10
流传的传闻称 OpenAI 接近验证 Hodge 猜想的证明，而 OpenAI 或 Anthropic 可能接近解决 Birch–Swinnerton-Dyer 猜想——两者都是数学界数十年未克的千禧年大奖难题。
发帖人认为这些传闻已基本坐实，并引用《纽约时报》中 OpenAI 的表述：继完成 Navier-Stokes 之后，「我们在另一个千禧年大奖问题上取得了实质性进展，正在斟酌如何妥善分享这些成果」。若 AI 生成的证明均通过验证，将是数学史上的里程碑，也是 AI 能力的标志性展示。以上均为传闻，尚未经官方证实。
所属事件:传 OpenAI 逼近霍奇猜想验证，与 Anthropic 竞速 BSD(19 条相关)→
「模型」频道最新
- Sakana 发布 Fugu Max 与 Fugu Ultra v2:以编排策略推高性价比前沿 — SakanaAILabs · 2026-09-11
- Qwen 团队 Justin Lin：架构过度复杂会埋下 eval 测不出的隐患 — JustinLin610 · 2026-09-11
- OpenAI 演示:GPT-6 Astra 自主构建字体游乐场 — OpenAI · 2026-09-11
- LLM 读文不似人类:不懂受众、不会线性铺陈写作两大硬伤 — abeirami · 2026-09-11
- 欧洲数学会发声：OpenAI 解 Navier-Stokes 是数学史金字塔，但模型不公开是隐忧 — i_dg23 · 2026-09-11
- 博主实测 Gemini 3.8 Flash:接替 Opus 4.6 成为最佳写作模型 — xiaohu · 2026-09-11