Original ·2060008768671301747· vitalik.eth @VitalikButerinThe long-term and even short-term solution for this is safety-first workflows.
At the very least, make it generate lots of test cases for everything and make sure they pass. Ideally write things in lean and prove theorems.
(And obviously, only run serious AI inside sandboxes)
RT @VitalikButerin: @tmophoto The long-term and even short-term solution for this is safety-first workflows.
At the very least, make it ge…