The problem with the AI is it can syntactically implement an algorithm but that is not Verilog. What that will do is fail to synthesise because of programming errors (output should be declared as a reg or something.) If you correct the programming errors, it might synthesise into a constant, but that constant won't fit into the output register. So there's no real understanding here -- just very clever templating.
Although I 100% agree with you, and it is not good Verilog.
My mind is still blown, and my mouth is still open, in shock. At the thought that a machine (AI), without human intervention (apart from the copy/pasted input, that could have been automated), could come up with stuff like that. Even if it is awful Verilog.
The actual programming languages output, often/sometimes, looks quite reasonable, for machine/AI generated code.
I don't know if it will be 6 months, 6 years, or a number of decades or longer. But so far, it is looking rather impressive. It seems to be showing to me, that one day we can just ask for a particular program to be (machine/AI) written, and it will do it. How and what effect, that will have on the world, I'm not sure.