Reliable Verifiers and the Testing Problem

AI-driven optimization needs reliable verifiers, which means testing becomes the most important thing. But the harder problem is choosing what to verify in the first place.