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.
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.