Artificial intelligence models can reliably generate code for well-specified software problems such as compilers and Ethereum Virtual Machine implementations