LLMs can only produce evidence. Producing proof requires a human

Two types of devs: Those who require proof before shipping and those who don't

Devs who require proof are shipping high quality. Devs who don't are shipping slop

One-shotting changes without checking them is highly irresponsible