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