I always thought the EMH was obviously invalid due to it's connection with the P=NP issue (which is to say the EMH iff P=NP).