有o4mini，据说是o4蒸馏出的，o4和o4pro呢？按照以往的模型增强趋势，o4应该比gpt5强吧