融资 5800 万的 PSI 宣布用 AI 解出五个量子信息开放问题，附 Lean 形式化
burny_tech · x · 2026-10-27
Physical Superintelligence PBC（9 月以 5800 万美元种子轮成立）宣布与 AI 研究系统协作，解出量子信息理论的五个长期开放问题，对应 Open Quantum Problems 2、12、27、38、43。
每项成果都附带论文、Lean 形式化和验证代码，release 仓库还记录了每个问题中 AI 的具体使用方式。
所属事件:PSI 称 AI 系统解出量子信息论五个开放问题(2 条相关)→
「创投」频道最新
- 小而美风投终结: Benchmark 式精品基金转向巨额募资 — MartinGTobias · 2026-10-27
- 投资人 McNamee：AI「存在性风险」是炒作，真正危险的是金融泡沫 — GaryMarcus · 2026-10-27
- 7 次申请终进 YC：创始人复盘申请书的三条写法 — garrytan · 2026-10-27
- 获宁德时代投资的 Noetix Robotics 传将赴港 IPO — pstAsiatech · 2026-10-27
- YC 新版获客打法：首条消息直接白送价值,2026 外联要这么做 — garrytan · 2026-10-27
- Anthropic 已正式提交 IPO 申请,传闻 fable 5.5 即将发布 — haider1 · 2026-10-27