0568ニューノーマルの名無しさん垢版 | 大砲2021/01/13(水) 23:06:39.03ID:cMPd0liO0 >>562 確かに、証明に必要な定理が揃ってる前提なら、だったな。 あと、もしAIが証明したとしても人間に理解できる言語で記述しないかもしれないな。