Unreal - I actually had a very similar setup (including a prompt taken from the same source) with the same model and reasoning.
Burned through my entire sub on a single problem though, the sunflower conjecture
I solved 6 open Erdős problems in 5 days, using @OpenAI GPT-5.6 Sol.
I have a math background, but the Codex workflow I used does not require deep mathematical knowledge.
Here’s exactly how I approached it, including my prompts 🧵