Comment by aleksiy123

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.