Curiously, their flaws balance out to neither being all that better. GPT-4 gets some words right, but changes the formal tone to something more casual, which doesn’t happen with Google’s translation. If it didn’t, it would probably be the better translation.