Lean 验证

三天攻克十八年悬案:Anthropic 未公开模型驱动的研究系统证明量子猜想

2008 年提出的 Aaronson-Ambainis 猜想,是量子计算理论领域挂了十八年的老难题。据海外科技媒体 11 月 7 日报道,一家名为 PSI(Physical Sup…