There is more complicated math systems that computers have solved, just like Chess, and Go. Systems that seemed impossible for a machine to beat and eventually they do.

Coding will be exactly the same soon.

Code is formal language, there’s nothing to be solved because it’s already as precise as 2*2. The issue is not with programming language, the issue is the domain where the problem is and the human that does translate the solution.

Let’s take text rendering. We already have words on papers and various ways to get them there. But doing the same with computer is a difficult job because of all the parameters for drawing characters and laying them to form words and lines. Once you find those parameters, you have to account for future changes so you write you code in a way that minimize that impact. And because someone else will probably do maintenance, you try to come up with good abstractions so that your solution become understandable.

If AI will solve coding, it may as well write machine code directly or be embedded as firmware, because every programming language was made for humans.