曝 Anthropic 未发布模型 3 天证明 18 年量子计算猜想
141_1337 · reddit · 2026-11-07
Physical Superintelligence（PSI）的研究系统运行一个未公开发布的 Anthropic 模型，仅用 3 天就给出了 Aaronson-Ambainis 猜想的证明。该猜想自 2008 年开放，关乎量子计算机何时能相对经典计算机取得指数加速，是量子复杂性的核心开放问题之一；证明已用 Lean 形式化验证，确立了量子加速的基本极限。
所属事件:AI 三天证明悬置 18 年的 Aaronson-Ambainis 猜想(4 条相关)→
「模型」频道最新
- Meta 推出 Muse Wonder 专用模型:遗忘减少 2.4 倍,卡壳改善 67% — AIatMeta · 2026-11-07
- 165 个生成世界实测:局部交互 83 分,有状态流程仅 30 分 — nptacek · 2026-11-07
- 激活转向实验:单个神经元即可让 Qwen3-30B 换「人格」,约1%回复见效 — Sauers_ · 2026-11-07
- OpenAI 与 Anthropic 互相观望按兵不发，大模型发布陷入僵局 — kimmonismus · 2026-11-07
- Deep Learning Weekly #480:提「Gemini 4 Carbon」与模型路由论文 — dl_weekly · 2026-11-07
- PostTrainBench：AI 智能体后训练得分半年从 23% 升至 45% — karinanguyen · 2026-11-07