FFS no!!! Converting natural language to code is a decades old very hard problem. Relatedly, formal proof of correctness is even harder (perhaps impossible, per Godel's Theorem). The idea that ChatGPT will code for us is criminally insane.