AI経済には証明の問題があります ノート