AI初创公司PSI借助AI解决5道开放量子难题并获种子轮融资

2026年10月29日，初创公司PSI宣布借助自研AI科研系统Emmy辅助解决了开放量子问题（OQP）目录中的5道难题，并在GitHub公开了论文、Lean形式化证明与验证代码。该系统将大模型拆解出的子假设交由Lean形式化证明器与高精度代码进行严格筛查，以确保推导逻辑的正确性。此外，PSI已完成5800万美元种子轮融资，未来计划将底层物理优化方案应用于AI数据中心的能效管理。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。