# Fable 5.2

共 1 篇相关文章

AI证实量子计算机在随机问题上无显著优势

AI证实量子计算机在随机问题上无显著优势,终结了1999年以来的AA猜想。该证明由PSI团队利用Fable 5.2模型完成,经Lean形式化验证。学界认为这明确了量子加速的适用边界,而非其终结。