That is some HR depatments, are so bad at their job, that they will literally lose your company the chance to get a Bill-gates-caliber dev.
I mean obviously if he gets to the technical interview, an engineer can see that he is competent. But they question is would such a resume get past HR?