←back to thread

555 points maheshrijal | 1 comments | | HN request time: 0.25s | source
1. klasko ◴[] No.43712397[source]
FWIW, o4-mini-high does not feel better o3-mini-high for working on fairly simply econ theory proofs. It does feel faster. And both elementary mistakes.