AI systems that cannot be proven safe should be treated like uranium: placed inside an engineered containment vessel so the overall system is safe, while still being harnessed to produce economically valuable artifacts that carry proofs of their own correctness.
Davidad explains the core idea behind Safeguarded AI: don't try to prove an AI is safe, contain it like radioactive material and only extract provably correct artifacts.
transcript
Davidad: the concept there is not that we would prove that some AI is safe, but that we would take AI which is not safe and treat it kind of like uranium which is not safe, put it into an engineered constructed containment vessel which makes the overall thing safe while also harnessing it to get stuff done that's economically valuable.