alt Hacker NewsAs 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.