传 OpenAI 接近验证 Hodge 猜想证明,千禧年难题再被 AI 破解
TheGoldenLeaper · reddit · 2026-09-11
Reddit 热传一则未经证实的传闻:OpenAI 接近验证 Hodge 猜想的证明,而 OpenAI 或 Anthropic 可能正接近解决 Birch–Swinnerton-Dyer 猜想,另有说法称当天又一座「千禧年大奖难题」被 AI 攻克,目前正秘密评审。Hodge 猜想与 BSD 猜想均为困扰数学界数十年的千禧年难题,若 AI 生成的证明通过验证,将是数学史级成果,也强力证明 AI 能产出新颖、有创造性的科学知识。来源均为 X 上的爆料帖,真实性待确认,评审细节保密。
所属事件:传 OpenAI 逼近 Hodge 猜想，BSD 或在攻克，千禧难题传闻发酵(15 条相关)→
「模型」频道最新
- DeepSeek V4.1 Flash 上线 HuggingChat,首批用户体验称表现出色 — _akhaliq · 2026-09-11
- DeepSeek 或打破 V<N> 命名惯例,新架构自称训练更稳定 — stochasticchasm · 2026-09-11
- DeepSeek 新模型技术报告:KV Cache 较 DSV4-Flash 缩小 4 倍,训练更稳定 — stochasticchasm · 2026-09-11
- 博主首测 Meta AI Muse:感知细腻有个性,劝人别忽视 — thederbiedone · 2026-09-11
- 开源 CyberTiel 35B 去审查后反而更强：速度达 Qwen3.8 的 3.7 倍 — peculiar-ragdoll · 2026-09-11
- GLM-5.3 霸榜 CyberGym：前两名 agent 均采用，前六占四席 — pcuenq · 2026-09-11