Physical Superintelligence、AI支援で5つの未解決量子問題の結果をLean証明付きで公開

一部は部分的・限定的な結果や反例で完全解ではなく、10月24日時点で査読はない。