> 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.

Gross, obvious exploits can be easily picked up by AI reviews.

	▲	DeusExMachina 11 hours ago \| parent \| next [-]
		What 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.
	▲	yencabulator 11 hours ago \| parent \| prev [-]
		And then the agentic loop over the reviews will rewrite them into less obvious exploits.