If no one is building AIs with utility functions, then the one kind of failure MIRI is talking about has solved itself,
If no one is building AIs with utility functions, then the one kind of failure MIRI is talking about has solved itself,