yes o3 is better, but I would argue it is not yet clear for which cases it is absolutely crucial to use o3 instead of o1.