A compactação em imagens GIF é bastante primitiva e não pode aproveitar a redundância criada pelo aprimoramento da imagem.
Eu redimensiono sem anti-aliasing , então, bem otimizado O PNG não deve crescer muito.
Se você redimensionar o com o anti-aliasing , converta a imagem em JPEG, pois isso criará muitas novas cores e bordas suaves que serão melhor tratadas pelo JPEG.