I agree re: the cultural mindset. And I definitely get preferring algorithms over humans. But I don't think leadership necessarily has to = management. Leadership can simply be about being persuasive, degree to which you deal with hurdles/stupidity/whatever without killing somone, able to facilitate a contentious discussion/meeting etc. - those soft skills that make you a good teammate, defacto team lead if/when necessary or whatever. Like you, I've been a manager and didn't like it (although I did like the fact that my input carried more weight than it would have otherwise). But I'm sure that leadership potential serves you well, even in non-management positions.