証明ができるAIはいつできるだろうか
量子コンピュータのあとかな