doesn’t the injunction “don’t optimize too hard” look easier to formalize than CEV?
“Don’t optimise for too long” looks easier to formalise. Or so I argued here.
“Don’t optimise for too long” looks easier to formalise. Or so I argued here.