>>562
確かに、証明に必要な定理が揃ってる前提なら、だったな。
あと、もしAIが証明したとしても人間に理解できる言語で記述しないかもしれないな。