How does ADR (Automated Dialogue Replacement) work? There's an entry in Wikipedia that says what it is (essentially actors dubbing their lines in post production, sometimes requiring several takes) but I don't see what's "automatic" about it. It doesn't seem to work all that well because I can almost always tell when it has been used.
I would be hugely surprised if you can actually always tell when ADR has been used - your point re a computer automatically cutting & shuffling time is precisely how modern ADR is done, using a new recording of the actor talking over his old lines - then chopped & shuffled in such a way that it is literally impossible to tell that the lip sync is not 'real'
In that situation, the only giveaway would be if the sound department failed to successfully drop the new audio nicely into the foley track - if they got the room reverb wrong, etc - highly unlikely on a high budget production.
Examples of software to specifically do this task
* VocAlign Pro [This is the one I used to use, 20 years ago - things have moved on since, but the page has audio/video demos so you can see how the process works]
There are also some seriously expensive hardware solutions, from people like SoundMaster
BTW, just because automated & automatic are almost synonymous does not mean they are actually exactly the same thing.
The process may be automated [processed by machine], but it is not automatic [done with no human intervention].