攻破 NS 方程两天后,传 OpenAI 逼近霍奇猜想,与 Anthropic 竞速 BSD
创业邦 · wechat · 2026-09-11
在 OpenAI 宣布用约 1 万个智能体耗时 88 小时攻破纳维-斯托克斯方程仅两天后,X 上爆料称 OpenAI 已接近完成对第二道千禧年难题——霍奇猜想的验证;《纽约时报》特稿亦披露 OpenAI 内部团队在另一道千禧年难题上取得实质进展。坊间消息称 OpenAI 与 Anthropic 正竞逐第三道难题 BSD 猜想,部分工作已进入验证阶段。
背景:
- 千禧年七难题 26 年间仅庞加莱猜想被人类攻克(2003 年佩雷尔曼);
- 霍奇猜想问的是高维代数簇的拓扑结构(Hodge 类)能否全部由代数闭链表达,学界曾倾向于寻找反例——暴力算力恰好适合这一方向;
- BSD 猜想建立椭圆曲线有理解数量与 L 函数解析性质的对应,若获证同余数问题一并解决。
文章同时质疑 AGI 标尺被不断被动抬高:从 IMO 金牌到正面冲击千禧年难题,数学正在沦为前沿大模型的试炼基准,而顶尖数学家如陶哲轩提议转向比较「提出新数学洞见」的能力。
所属事件:传 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