In fact, I do believe that a lot of things are deliberately inefficient just to sort out the "highly intelligent" from the "less intelligent", but those things often impose an efficiency cost on the highly intelligent.

Huh. I feel like it would be very valuable to create a list of other things that have an isomorphic property to this one, either for intelligence or some other ability. I'm not sure if I can think of any though, and unfortunately I just realized this is a 2yo post that I just saw now due to a recent comment. Oh well.