量子位· 程浅·· 6 小时前精选AI 评分68
初创公司 PSI 宣布用 AI 辅助解决 5 道 20 多年未决的开放量子难题
物理学也要被AI攻陷了？5道20多年量子公开问题被突破
AI 导读
初创公司 Physical Superintelligence 宣布利用自研 AI 科研系统 Emmy 辅助解决了开放量子问题目录中的 5 道长期难题，并在 GitHub 开源了论文、Lean 形式化证明与验证代码。
推荐理由
该进展展示了将大模型生成假设与形式化验证工具结合用于攻破基础物理难题的科研范式。
来源：量子位 · qbitai.com