てか強いAIの定義自体が曖昧なものでそれを証明する方法も無いに等しいという