0766132人目の素数さん垢版 | 大砲2018/09/22(土) 00:43:45.97ID:k39wnoHT 実際はっきり証明しないといけないサイドはScholze-stixのほうで、彼らの簡略化フォームで もアルゴリズムが走ることを証明しないといけない 実際はSSの勘違いはmultiradial representationと簡略化が整合的ではなく grothediack conjectureの適用にもひっかかるわけだ