Reigning spreadsheet champ Michael Jarman thinks he's still smarter than AI, but are his days numbered? Here's what it takes to dominate the annual Excel showdown.