It can still benefit humans, but there are plenty of situations where humans prioritize guarantees of formal correctness over the ease of navigating granular details.