Whether or not the program compiles is an objective source of truth that forces the AI to try again over and over until it gets it right.

Correctness on the other hand...