“O1's method for 'thinking for longer' is general and can be applied across many different domains.”