The challenge isnt writing code. It is writing code that is relatively free of defects. It falls down hard on that point.
As shown by this post, we're still discovering what's possible with the tools we have now.
Also, human programmers aren't amazing at writing defect free code.