Comment by logifail

> Just make the AI also generate a proof that its code meets the spec.

How would one tell if the AI-created "proof" is both accurate and adequate?