They are replacing o1 with o3 in the UI, at least for me, so they must be pretty confident it is a strict improvement.