Andrew Curran· @AndrewCurran_ · X·· 3 天前AI 评分58
AI 导读
Physical Superintelligence PBC 宣布在量子信息理论五个长期开放问题上取得新结果，涉及 Open Quantum Problems 2、12、27、38 和 43。每项结果都配有论文和 Lean 形式化，公司称研究人员借助其 AI 研究系统完成，发布仓库记录了 AI 在各问题中的使用方式。该公司于 9 月成立，种子轮融资 5800 万美元。
正文 · 原文
Physical Superintelligence launched in September with a $58 million seed. Today they announced five new results on open problems in quantum information theory, with a paper and Lean formalization for each of Open Quantum Problems 2, 12, 27, 38, and 43.
Today Physical Superintelligence PBC is announcing solutions to five long-standing problems in quantum information theory. https://psi.inc/research/oqp-batch-2026/ Thread 👇在 X 查看被引用的帖子
来源：Andrew Curran · x.com