As a follow up.

I feel like codex/sol is better at well scoped hard technical problem.

Where it can sort of run this brute force analytical loop.

Like doing performance optimization or other search type problems. I think the math proofs are good examples of this.

What, you don't like it proposing sha256 checksums and state enums for everything?? :D It does seem to have this predilection, but I find it calms down if I tell it to simplify for "this phase". Sure, we'll pick that up down the road.. I promise. :D