TechCrunch AIT2·74 分
PSI 用 AI 攻克 18 年量子计算猜想
原标题：PSI is trying to make a business out of AI-driven scientific discovery
- PSI 借助 Anthropic Fable 5.2 早期访问权解决悬置 18 年的量子计算猜想
- 证明经 Lean 自动形式化并由顶尖研究者复核，作者本人坦言尚未完全理解
- PSI 正尝试将 AI 驱动的科学发现转化为可持续商业模式
返回热点榜
industry热度 18.1°
AI 聚合热点事件 · 2026/11/9
AI 初创用非公开 Claude 模型证明量子计算猜想
2 篇收录报道2 家独立信源交叉印证持续跟踪至 2026/11/11 03:03:52
全景综述与最新动态
2 家信源交叉印证AI for Science 初创公司 Physical Superintelligence 利用内部研究系统（运行非公开的 Anthropic 模型）在三天内为 Scott Aaronson 与 Andris Ambainis 自 2008 年悬而未决的量子计算加速猜想找到了完整证明，并经 Lean 证明助手验证。这是 AI 系统自主扩展人类知识边界的标志性案例，也预示合成研究者产出速度将超越人类理解速度。
最新动向/AI for Science 初创公司 Physical Superintelligence 利用内部研究系统（运行非公开的 Anthropic 模型）在三天内为 Scott Aaronson 与 Andris Ambainis 自 2008 年悬而未决的量子计算加速猜想找到了完整证明，并经 Lean 证明助手验证。这是 AI 系统自主扩展人类知识边界的标志性案例，也预示合成研究者产出速度将超越人类理解速度。
逐小时热度走势
39 个完整观测小时当前
18.1
峰值
21.604:00
近 24h 变化
+24%
曲线只比较全程持续完整观测的同一批信源；缺口小时数据已插值平滑，保持趋势连续。
报道时间线
共 2 篇 · 最新优先- Import AI (Jack Clark)T1·78 分
AI 初创用非公开 Claude 模型证明量子计算猜想
原标题：Import AI 480: Self-sustaining space economies; AI for science progress, and Meta builds perfect hands for a superintelligence
- PSI 内部研究系统在运行第三天即产出完整证明，并经 Lean 形式化验证
- 该猜想自 2008 年提出，涉及量子计算机何时能实现指数级加速这一核心问题
- 合成研究者产出速度可能超过人类消化理解速度，成为新的科研范式挑战