I think autocorrect provably does not provide any value. When you make a typo, then the autocorrect mechanism is making an inference on your input that the receiver of that message would be able to make better, since they have way more context, and humans are still much better at this kind of problem than computers.