The conclusion of the article admits that in areas where stochastic outputs are expected these AI models will continue to be useful.

It’s in area where we demand correctness and determinism that they will not be suitable.

I think the thrust of this article is hard to see unless you have some experience with formal methods and verification. Or else accept the authors’ explanations as truth.