Traditional computing is good at being precise at the cost of being rigid, ml computing is good at being flexible at the cost of being ambiguous. I don't trust

Traditional computing is good at being precise at the cost of being rigid, ml computing is good at being flexible at the cost of being ambiguous. I don't trust ml computing to be precise in the same way I don't trust humans to be precise (we can all potentially write code with bugs) because the process is fundamentally non deterministic. The way we solve this with humans is to create tools that test verify what we make, backed by some sort of proof. I guess once ml computing can get feedback from these tools, the situation will improve?