Interesting. They switched to a new tokenizer for 4o and 4o-mini, so this might have the same issue.