I'm not sure the driving problem is defined well enough to be solvable and this is a great example of that. That's probably why ML gets used so much, you can't

I'm not sure the driving problem is defined well enough to be solvable and this is a great example of that. That's probably why ML gets used so much, you can't really prove it's incorrect but it works a lot of the time so you can get away with selling it until someone dies.