AI's can write deterministic code and have been doing so for a while. Humans do this as well. We write deterministic code with a goal, and generally it works out okay.

If you say that you can't trust AI because LLM's are statistical models, that's a true statement. Though it also turns out that we don't trust humans to write code correct either, which is why we have code reviews.

I was not trying to say that statistical can't generate deterministic code - I was wondering what tools I could use to make sure that they catch all the invariants when given a specification of inputs, logic layouts, and outputs. Certainly, feedback loops have to be involved - e.g. look at the lifetimes guarantees the Rust compiler gives - to make sure the answer is refined in iterative steps.