PSI 宣称用 Claude 驱动研究系统证明 Aaronson-Ambainis 猜想
burny_tech · x · 2026-11-10
Physical Superintelligence PBC（PSI）宣布解决量子复杂性核心开放问题之一的 Aaronson-Ambainis 猜想，该问题对量子计算加速具有重大意义。
团队称证明由其研究系统配合 Claude（帖中称 "Claude Fable 5.2"）完成：作者表示即使抛开这条结果，这次使用也改变了他对「可以让模型承担多大规模任务」的认知，并称将发布使用心得线程（1/n）。
注意：该宣称来自公司自述，尚待独立验证，且帖中模型名称存疑。
所属事件:AI 证明悬置 16 年的 Aaronson-Ambainis 猜想(6 条相关)→
「研究」频道最新
- CoRL 2026 双工作坊聚焦预训练策略可适配性，10 月 4 日截稿 — huihan_liu · 2026-11-10
- Karl Friston 对谈 MIT CBMM 播客,追问「智能是什么」 — burny_tech · 2026-11-10
- Claude Fable 5.2 登顶科研 Agent 榜:Terminal-Bench-Science 74.6% — burny_tech · 2026-11-10
- 用「Subway Surfers 风」60 秒动画讲 VAE 与潜空间生成 — burny_tech · 2026-11-10
- Agent 用 Lean 为 CPython 3.15.2 逐函数建模，5 万输入交叉验证 — ChrSzegedy · 2026-11-10
- 一个方向四种行为？研究者与 Neel Nanda 辩论单向量多语义问题 — johnhewtt · 2026-11-10