Safe AI and not provably beneficial AI