FWIW, o4-mini-high does not feel better o3-mini-high for working on fairly simpl...

		klasko 7 months ago \| parent \| context \| favorite \| on: OpenAI o3 and o4-mini 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.