tl;dr: Neither Ethereum nor Bitcoin have address checksums on the protocol level (remember this HN thread here is about trust) but by now all Bitcoin clients decided to implement it. In this case, the exchange used an Ethereum client which didn't.