PSI 利用AI破解十八年未解量子计算难题

初创实验室Physical Superintelligence（PSI）利用Anthropic模型，证明了困扰量子计算领域18年的Aaronson-Ambainis猜想。该结论已在数学编程语言Lean中完成自动形式化验证...