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