数学の証明もAIがサクッと終わらせる時代になる