Comment by vasco

> It's humans

Who would it be, gremlins? Those humans weren't at the top of the leaderboard before they had the AI, so clearly it helps.