TechCrunch · AI· Tim Fernholz·· 5 天前AI 评分71
PSI 用 Anthropic Fable 5.2 解决量子计算猜想，探索 AI 科研商业化
PSI is trying to make a business out of AI-driven scientific discovery
AI 导读
初创实验室 Physical Superintelligence（PSI）借助 Anthropic Fable 5.2 的早期访问权限，解决了困扰量子计算领域十八年的 Aaronson-Ambainis 猜想，该证明经 Lean 自动形式化并由外部研究者复核。
来源：TechCrunch · AI · techcrunch.com