OpenAI 的这个分词器比 Anthropic 好是真的。至少在节约 Token 上面