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.

Agreed, only LLM I can give a folder of packet traces from a multiplayer game and wake up the next day with a server that feels identical.