AI 宣称攻克 500 大数学难题中的 90 个，黎曼猜想仅部分
burny_tech · x · 2026-10-08
有账号汇总称，AI 已对 500 个最重要的开放数学问题中的 90 个给出解答或部分进展，其中：
- 完全声称解决：Hilbert 第十问题（有理数域）、Unique Games 猜想、Anderson 模型高维扩展态等
- 部分进展：黎曼假设、Hodge 猜想、Birch–Swinnerton-Dyer 猜想、Tate 猜想、广义黎曼假设、矩阵乘法指数等于 2 等多个顶级难题
帖子同时讽刺了媒体的反差：顶级数学家称这是「数学史上最重大的日子」，而《纽约时报》头版却是「30 美元以下的好酒」。多数难题仅为 PARTIAL 状态，实际成色仍需学界验证。
「模型」频道最新
- OpenAI 数学突破后,LLM 数学能力质疑声消失了 — burny_tech · 2026-10-08
- 求推荐本地叙事模型：8GB 显存能跑的最佳故事生成模型是哪个？ — opUserZero · 2026-10-08
- 实测对比:Opus 5.5 创意生成碾压 Sonnet 5.5,毫无悬念 — tobowers · 2026-10-08
- Grok 推特 Bot 免费搜索监控推文,作者换号购买后 被@ 不回 — op7418 · 2026-10-08
- Codex 换平台续命被误判,开源模型安全护栏翻车现场 — bdsqlsz · 2026-10-08
- 曝 GPT-6 随 Intelligent UI 发布,模型将学会生成交互界面 — isafulf · 2026-10-08