Assuming this is not a rhetorical question: no, it is not. The only "goal" is to maximize plausibility.
Again, how is that different from humans? I’m not going around trying to prove my code correct when I write it manually.
alt Hacker News
Again, how is that different from humans? I’m not going around trying to prove my code correct when I write it manually.