I do feel with the rise of "reasoning" class of models, it's not hard to believe that code quality will improve over time.
0.2x, 2x, 5x, 50x?
There can't be things that a human can program that AGI can not program or it is not "AGI".
While I am never a true believer in AGI, it seems to go I get a little faith when a new model comes out then I become increasingly agnostic the weeks and months after that. Repeat.