o3가 없는이상 현존1위는 o1프로라 생각함