The point is if "coding is solved" was true, there would not be any unresolved bugs.

A major outstanding software bug for a year proves they have not “solved coding,” which was their claim.

I didn’t chose the words they used, but I can hold them to those words.

And saying coding is solved doesn't prove anything either.