Ant Group's small model claims to outperform its 1-trillion-parameter big brother