AI in any of its forms is stochastic. Not deterministic. It just fits a multivariable function. It can always make a nonsense prodiction out of nowhere.
These systems cannot be verified because they are just a gazillion of numbers and algebra.
That is simply not acceptable for flight control.