曝 OpenAI 逼近霍奇猜想验证，与 Anthropic 竞速 BSD 猜想
新智元 · wechat · 2026-09-11
在 OpenAI 宣布用约 10000 个 agent、88 小时攻破纳维-斯托克斯方程（附 166 页论文与 Lean 形式化验证）两天后，X 上爆料称 OpenAI 已接近完成第二道千禧年难题——霍奇猜想的验证；《纽约时报》特稿也确认 OpenAI 内部团队过去五年在另一道千禧年难题上取得实质进展并准备公布。
坊间消息称 OpenAI 与 Anthropic 正暗中竞速第三道难题 BSD 猜想，部分工作已进入验证阶段。若属实，一个月内三道困扰数学界数十年的难题将被 AI 接连拿下。
- 千禧年难题现状：庞加莱猜想已解（2003 佩雷尔曼）；NS 方程声称已解待克雷所审定；霍奇、BSD 传闻逼近；黎曼假设、P vs NP、杨-米尔斯仍无突破。
- 霍奇猜想问的是高维代数簇的拓扑结构（Hodge 类）能否全部由代数闭链表达，学界本就倾向找反例——恰是暴力搜索擅长之处。
- BSD 猜想建立椭圆曲线有理解数量与 L 函数解析性质的对应，若获证将连带解决同余数问题。
文章还梳理了 AGI 标尺被不断抬高的过程：IMO 金牌、GPT-5.2 证明粒子物理新公式、GPT-6 Astra 发布后 Brockman 宣称「Welcome to the AGI era」，数学正沦为前沿模型的试炼基准。（注：霍奇/BSD 部分仍未证实）
所属事件:OpenAI 逼近霍奇猜想验证传闻发酵，千禧难题接连被指告破(17 条相关)→
「模型」频道最新
- 直播精读 Anthropic 1022 页模型内心独白：80 页全在琢磨 hCaptcha — voooooogel · 2026-09-11
- Gradio 创始人发问：现在还有谁该为闭源模型 API 付费？ — Sentdex · 2026-09-11
- 网传 DeepSeek-V4.1-Flash 技术报告：552B MoE 主打百万级上下文的 KV 缓存压缩 — burkov · 2026-09-11
- 评论:DeepSeek 只发内部研究件不发产品,解释其评测落差 — teortaxesTex · 2026-09-11
- 用户反问 Claude「人类是否真实」,模型回应模拟假说 — vishalmisra · 2026-09-11
- GPT-6 级模型只会死磕目标，用对前提才能榨出价值 — daniel_mac8 · 2026-09-11