My worry is that the hype was created by generative AI, so when they talk about AI I'm afraid they mean LLM.

Wouldn't controlling traffic be a NP problem and we could have a hesitation algorithm to do it (ironically those algorithms we used to call AI).

I also would be surprised they already don't have mechanisms to validate choices made by traffic controller. That probably be a polynomial difficulty problem.

I think the main reason why they want to introduce AI there is so they can fire traffic controllers as they are major headache for Republicans when they keep government hostage.