0001a4 ◆L1L.Ef50zuAv 垢版 | 大砲2018/12/14(金) 23:25:31.55ID:66oEO/Sc 量子コンピュータで2^1億通りの証明に自動定理検証をかけて、証明できているものを 引き出してくるというものです。Groverのアルゴリズムでは、2^5千万時間くらい かかりますが、ナマズの地震予知の特異点を用いると、O(1億)くらいの時間で 計算できるんじゃないかと。議論しましょう。