Wasn't he like one of the biggest claude token users in the world or something? (I could be misremembering)