AI 宣称攻克 500 大开放数学难题中的 90 个,黎曼猜想等获部分证明
DavidSKrueger · x · 2026-10-07
据 AISafetyMemes 汇总,AI 已对 500 个最重要的开放数学问题中的 90 个给出证明或实质进展,其中包括排名靠前的多个千禧年级难题:
- 黎曼猜想(#2)、Hodge 猜想(#4)、Birch and Swinnerton-Dyer 猜想(#5) 等均标注为 PARTIAL(部分进展)
- Hilbert 第十问题在有理数上的版本(#22)、Unique Games 猜想(#29) 等为 FULL CLAIM(完整声明)
- 其他涉及 Dedekind zeta 函数广义黎曼猜想、Tate 猜想、矩阵乘法指数等于 2 等
- 安全研究者 David Krueger 转发表示震惊("woah"),该结果尚未经同行评议验证,实际含金量有待数学界检验
所属事件:OpenAI 开源内部模型产出的 722 份数学新成果(62 条相关)→
「研究」频道最新
- Ethan Mollick:AI 将带来双重科学革命,重读全部文献并加速发现 — emollick · 2026-10-07
- OpenAI 单带图灵机模拟可推出新结论:RAM 时间 t 落入 SPACE[t^4/5] — rrwilliams · 2026-10-07
- 借菌丝网络隐喻设计 AI Agent 记忆:七个框架一次讲透 — repligate · 2026-10-07
- 东京大学 Kavli IPMU 招聘 AI+理论物理博士后，年薪项目由 JST 支持 — fatihdin4en · 2026-10-07
- ACL 2027 设立 LLM 同质化与知识坍缩主题赛道 — TuhinChakr · 2026-10-07
- 微软提出 PrisMem:按能力维度进化 Agent 记忆,百万 token 历史领先基线 10.5 个百分点 — microsoft · 2026-10-07