When you read it, keep in mind it's from 2018. Otherwise it looks as if Tang was 7 or so when he started to work on the problem. In reality, he already was 17 (*).
(*) yes, I know that it still very precocious.
(*) yes, I know that it still very precocious.
Would have been easier if the dog was called Fido.
In very few circumstances is gender relevant. And even when it is relevant, we don't need to bake it into every other sentence, like people should be treated differently based on their gender.
If we baked social caste or race into how we referred to people, on the pronoun level, in every other sentence, it would obviously be ridiculous and terrible. So let's stop doing it for gender.
Removing gender from language doesn't lead to paradise. Chinese and Turkish don't have gendered third person pronouns, but China and Turkey are not shining examples of gender equality.