We don't read the binary output of our C compilers because we trust it to be correct almost every time. ("It's a compiler bug" is more of a joke than a real issue)
If AI could reach the point where we actually trusted the output, then we might stop checking it.
> "It's a compiler bug" is more of a joke than a real issue
It's a very real issue, people just seem to assume their code is wrong rather than the compiler. I've personally reported 12 GCC bugs over the last 2 years and there's 1239 open wrong-code bugs currently.
If AI could reach the point where we actually trusted the output, then we might stop checking it.