2026-11-10 19:07:41
PSI 利用 Anthropic 的 Fable 5.2 解决了 18 年前的量子计算难题
据 TechCrunch 报道,由麻省理工学院毕业生 David Turturean 领导的初创实验室 Physical Superintelligence(PSI)借助 Anthropic 的 Fable 5.2 模型的早期访问权限,解决了 18 年前提出的 Aaronson-Ambainis 猜想。该证明已在 Lean 这门数学编程语言中实现自动形式化,并经一支顶尖研究团队验证。该猜想涉及量子计算机比经典系统更快地解决某些问题的能力。