The article only discusses reasons why formal verification is needed. It does not provide any information on how would AI solve the fundamental issues making it

The article only discusses reasons why formal verification is needed. It does not provide any information on how would AI solve the fundamental issues making it difficult: https://pron.github.io/posts/correctness-and-complexity https://pron.github.io/posts/correctness-and-complexity