AIが進化すると難病の治療法とか超ひも理論とかリーマン予想とか全部コンピュータが解決ちゃうの?