I believe there will be people who let LLMs only do untrusted jobs. Human writes a specification, AI writes an implementation along with a proof that it adheres to the spec.
I believe there will be people who let LLMs only do untrusted jobs. Human writes a specification, AI writes an implementation along with a proof that it adheres to the spec.