A simpler and more rigid program.

Not 99% of programs. And even if they could, they never are.

Besides AI is a program in the same sense. Fix the seed/temperature, and you can verify it to perform according to its specifications. It's just that its specificactions include returning answers based on a weight model.

I disagree! It's easy to check that an AI program meets its specification, which is to process input tokens and generate output tokens. :)

If you're talking about verifying whether it produces the correct tokens, that's not generally something you can specify in advance with AI. I mean: if your task is one where you can precisely specify which output tokens are correct for a given input, then the task doesn't need AI, no?

Who verifies the specification? I can´t stand the intellectual dishonesty of formal methods people.