That's presumably what o1-preview does? Iterates and checks the result. It takes much longer, but does indeed write slightly better code.