In the context of math talent (as opposed to philosophical/reductionist/naturalist*) at MIRI?

*I'm interested in whether the talent in question was something that is already understood by academia (in the sense that being really good at math in particular ways is well understood to be a quality that is desireable by the community, but the specific type of reductionist philosophical talent that you would be looking for isn't seen that way by academic philosophy in general.)