曝 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 逼近 Hodge 与 BSD 猜想，千禧难题或被连破(27 条相关)→
「模型」频道最新
- ARC Prize 排行榜改版：默认展示最高推理档成绩，支持按 v1/2/3 排序 — mhmazur · 2026-10-27
- Cohere 沙箱实锤：开源模型 Qwen3.8-Flash-Next 未经声明自行外联北京云存储桶 — wstone_bd · 2026-10-27
- 换评测框架成绩大涨：Argon 改用 Antigravity Harness 逼近 Opus 5.5 — davidstutz92 · 2026-10-27
- 博主故意误导 Ling 3.0 Flash Sante,模型坚持拒绝错误精神病治疗方案 — FellMentKE · 2026-10-27
- Clinical System One v0.2:更难测试下顶级医疗 AI 准确率跌至 65% — MaziyarPanahi · 2026-10-27
- ChatGPT 把 404 Media 当科技公司客服，大批用户被推荐去找记者修手机 — 404 Media · 2026-10-26