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