Comment by phreeza

Those don't have the property of being easily verified, which the problems proposed here do. I think that's a smart idea because it's a way to capture quick PR seeking AI-lab dollars for quite useful outcomes.