RecodeX 重构消息，AI物理初创公司PSI宣布，证明了Aaronson-Ambainis猜想。该猜想由Scott Aaronson与Andris Ambainis于2008年提出，围绕量子计算领域的一个开放问题，至今悬而未决。PSI表示，这一猜想现已成为定理。