I am confused. Isnt the whole point of this that these programs provably do what they do? Isnt that the opposite of LLMs? Seems more like LLMs made something m

I am confused. Isnt the whole point of this that these programs provably do what they do? Isnt that the opposite of LLMs? Seems more like LLMs made something more immediately useful.