In the theme of this excellent article: solving proof-based problems takes skill, but designing good problems in the first place is even harder. I wonder to what extent solving such problems automatically makes you better at formulating similar problems. Reminds me of how being able to understand a spoken language doesn't help with speaking as much as I expected it would (for me, anyway).