曝 Anthropic 内部模型三天证明 18 年未解量子计算猜想
rickasaurus · x · 2026-11-07
rickasaurus 转发并评论称「这些模型应该开放给 Anthropic 之外的人」。被引消息：Anthropic 一个未发布的内部模型据称帮助解决了悬置 18 年的 Aaronson–Ambainis 量子计算猜想——Physical Superintelligence 称其 AI 研究系统在第三天证明了该猜想，Lean 形式化验证了证明，并两次改进。结论表明量子计算机几乎不可能在几乎所有随机是/否输入上实现指数级查询加速。斯坦福研究人员称之为「重大成果」。属未经官方证实的爆料。
所属事件:PSI 科研系统三天证明 Aaronson-Ambainis 猜想(5 条相关)→
「模型」频道最新
- Inkling 2S 与 Dots3 跑分接近，但价格约贵 3.5 倍 — teortaxesTex · 2026-11-07
- Open ASR 排行榜新增埃及尼日利亚私留数据，细化口音评测 — andimarafioti · 2026-11-07
- 博主盛赞 Claude Opus 5.5：发布月余仍无对手 — prasenx · 2026-11-07
- Ripple-65B Preview 发布：3200 万美元研发成本登顶美国开源 agentic 编码 — The Decoder · 2026-11-07
- 22MB 视觉模型 Mirage 单次前向搞定检测/OCR/分割,手机 NPU 74ms — Henrie_the_dreamer · 2026-11-07
- 4B 小模型 Nemotron 3 Nano 特定任务流胜过前沿大模型 — eliano · 2026-11-07