> What happens when... I can only assume that existing methods would still be used for verification. At least we understand the logic used behind these method

> What happens when... I can only assume that existing methods would still be used for verification. At least we understand the logic used behind these methods. The ML models might become more accurate on average but they could still throw out results that are way off occasionally, so their error rate would have to become equal to the existing methods.