Sure. Thats not the goal here. These problems are hard for humans and (mostly) hard for LLMs.