I think that's a great example, the question is: can ML be as good as we are at compiling? And then, if ML is as good as we are, and clearly we're not good eno

I think that's a great example, the question is: can ML be as good as we are at compiling? And then, if ML is as good as we are, and clearly we're not good enough that we had to write a systematic proof system to compile things correctly, could ML have invented this same technique and implemented that compiler correctly? In the end, we're just back at the same place, can ML be as intelligent as we are. Is it the holy grail of AI? What are its limits?