跳到正文
TechCrunch · AI· Tim Fernholz·· 2 小时前精选AI 评分78

PSI 借 Anthropic Fable 5.2 解决十八年量子计算猜想,探索 AI 科研商业化

PSI is trying to make a business out of AI-driven scientific discovery

AI 导读

初创实验室 Physical Superintelligence(PSI)的技术人员 David Turturean 借助 Anthropic Fable 5.2 的早期访问权限,解决了悬置十八年的量子计算问题 Aaronson-Ambainis 猜想;该证明经 Lean 自动形式化并由外部研究者复核。

推荐理由

通过一个十八年未解量子计算猜想的求解过程,呈现 AI 科研创业公司的商业模式与验证路径。

来源:TechCrunch · AI · techcrunch.com