Kann KI bei Vier Gewinnt gewinnen?