PSI 官宣：AI 给出 Aaronson-Ambainis 猜想完整证明
Pyros-SD-Models · reddit · 2026-11-07
Physical Superintelligence PBC 官方宣布，其系统证明了 Aaronson-Ambainis 猜想——量子复杂性领域最核心的开放问题之一，对量子计算加速具有重大意义。据相关报道，证明由运行非公开 Anthropic 模型的研究系统在 3 天内完成，并经 Lean 形式化验证。
所属事件:AI 三天证明悬置 18 年的 Aaronson-Ambainis 猜想(4 条相关)→
「研究」频道最新
- MIT 与斯坦福推出机器人自主教材，融合经典机器人学与 AI 且免费在线 — GioeleZardini · 2026-11-07
- UIUC 发布 OpenFrontiers:开放研究问题库+科学再发现评测基准 — Jiarui Yao · 2026-11-07
- 二核苷酸打乱保留 CA 起始子,基因组模型负样本设计有坑 — anshulkundaje · 2026-11-07
- 负样本选错致漏掉 GATA motif,ProCapNet 团队复盘教训 — anshulkundaje · 2026-11-07
- 模型可预测并解释细胞型特异 TSS 用法,MEF2 motif 实证 — anshulkundaje · 2026-11-07
- 斯坦福团队用 200+ ENCODE 数据集训练 ProCapNet，绘制人类转录起始序列图谱 — anshulkundaje · 2026-11-07