The complexity here lies in having to craft a comprehensive enough spec. Correctness is one aspect, but another is performance. If the AI craps out code that passes your tests, but does it in really inefficient way then it's still a problem.

Also worth noting that you don't actually need AI to do such things. For example, Barliman is a tool that can do program synthesis. Given a set of tests to pass, it attempts to complete the program for you. Synthesis is performed using logic programming. Not only is it capable of generating code, but it can also reuse code it's already come up with as basis for solving bigger problems.

https://github.com/webyrd/Barliman

here's a talk about how it works https://www.youtube.com/watch?v=er_lLvkklsk

At that point you should be able to just write the code yourself.

The A"I" will either make mistakes even under defined bounds, or it will never make any mistakes ever in which case it's not an autocomplete, it's a compiler and we've just gone full circle.

Absolutely, I think the people who say it's completely useless for code are in denial

Definitely not replacing anyone but my god it has sped up development by generating code I already know how to write 90% of

No more having to look up "what was the for loop syntax in this language again?"

Tried to learn coding using chatGPT. Wanted to make my own game engine for a phone game. Ended up looking up tutorials.

I use it for writing functions and snippets all the time, at least in python and rust as long as you describe what you want it to do properly it works great

Example I used recently: "Please generate me a rust function that will take a u32 user id and return a unique RGB colour"

Generated the function, I plugged it in and it worked perfectly first time