PSI 用 AI 研究系统攻克量子信息五个公开问题，附 Lean 形式化证明
IgorCarron · x · 2026-10-27
Physical Superintelligence PBC（PSI）宣布其 AI 研究系统协助获得量子信息论五个长期公开问题的新结果，每项都附带论文、Lean 形式化和验证代码，仓库还记录了 AI 在各项中的使用方式。
- OQP 2：对局域维度 d≥3 的 Werner 态，当 1/d<α≤37/80（0.4625）时，三份拷贝无法蒸馏出 Bell 对（任意多拷贝情形仍未解决）
- OQP 12：证明 3+1 维有质量自由标量场真空中，两个区域即便在任意大距离上保持纠缠，超出有限间距后 CHSH Bell 不等式不可违反
- OQP 27：证明 Fourier 相位测量策略在最大化 CGLMP Bell 违反上最优，并刻画了所有最大违反策略
- OQP 38：证明 d 维系统上任意 2(d−1) 个 PPT 映射足以破坏纠缠（此前 OpenAI 预印本报告两个不够）
「研究」频道最新
- 科学家争论科研瓶颈：八成扩张靠一锅法增数据，而非实验室自动化 — clarejtbirch · 2026-10-27
- Yoav Artzi 用 COLM 真实数据模拟 4 种「限额审稿」会议机制 — yoavartzi · 2026-10-27
- 实测发现 Qwen 有 9 个「性别神经元」，激活后自称男或女 — burny_tech · 2026-10-27
- GPT-6-Astra 具身智能评测:12 项基准多项逼近 100% 成功率 — chris_j_paxton · 2026-10-27
- 开源项目 LEANN 称向量库存储省 97%,6000万文本块 201GB 压到 6GB — Promptmethus · 2026-10-27
- Claude Opus 5.5 一日抛出三大成果:证伪ETH、全维Kakeya、Yang-Mills存在性 — repligate · 2026-10-27