dotaでプロ負かしたAIとかあったよね確か