AI 初创公司 PSI 宣布辅助解决 5 道开放量子难题

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