証明 AIが数学の超難問が解けることを証明する 少し条件の置き換えをする、 超難問とは、単語数が多い、と置き換える、 これは置き換え過ぎかもしれないが、一つの主要要因ではあるので、ここでは、これで良いこととする。 単語数が多いことはAIは得意である…