In other words they are doing it where the light's better, rather than where they dropped the keys. Given the track record of correctness proofs in comp sci, I don't think provably Friendly AI is even possible, hopefully I'm wrong there, but all they are doing is further crippling their likelihood of achieving AI before some military or business does.