Would DAO:s then require to be released together with mathematical proofs [0], for the creators to be free from responsibility?

[0] Assuming they'd be clearly enough defined, where the proven mathematical statements have a meaningful and useful correspondence to the marketing statements.