Do you ever think a neural net could crack the leaderboard faster than any human, and if so what that would mean for the definition of skill?