Towards Safe and Hallucination-Free Coding AIs

Modern LLM coding assistants pose serious security risks. The talk argues for protocols that require AI-generated code to come with machine-checkable proofs so humans can be assured of safety and correctness.