4 ms·
> LAW: "the sum of all balances in this contract must be zero" What prevents AI from writing an arbitrary calculation that makes sure that sum is always zero w
by DeusExMachina 14d ago
> LAW: "the sum of all balances in this contract must be zero"
What prevents AI from writing an arbitrary calculation that makes sure that sum is always zero while breaking a whole other bunch of assumptions?
If the answer is more laws, then this does not address the parent comment.
- Isinlor 14d agoGross, obvious exploits can be easily picked up by AI reviews.
- yencabulator 13d agoAnd then the agentic loop over the reviews will rewrite them into less obvious exploits.
- DeusExMachina 13d agoWhat AI reviews? I thought AI needed to be bound by Bend laws. The AI either knows what the user wants perfectly and is able to prevent problems, or is a rougue agent that needs to be bound by laws to not misbehave. You can't have both.