Which are these "human processes in the loop"? We are talking about changing flight schedules, and I'm pretty sure that existing flight schedules are not developed by teams of people with pen and paper, but rather by powerful ILP solvers, because of (a) the immense value in optimising every aspect of them and (b) the myriad regulatory constraints that need to be met for, e.g., flight crew scheduling.

Aviation is one of the few industries where the largest regular (non-capital) expense is something other than labour, namely fuel. Anything that reduces fuel costs even a little is of obvious interest to every airline.

There are still the issues of coordinating flight paths to avoid collisions, and regulation (including international regulation). The former seems like a technical problem amenable to increasingly accurate approximations over time. I don't know about the latter, but I doubt it's as insurmountable as you imply. International air travel has been around longer than ILP solvers, meaning that at some point flight schedules were created by people. Now they're created by ILP solvers, and the regulatory environment successfully adapted to that change.