I find it shallow.

Beneath the sarcasm it's making a rather simplistic argument that OpenAI cares little about human understanding of the results or their correctness.

The author appears to argue that this in service of a pointless goal, that no one will even care to read the results, and that all this is taking away from human creativity and removing the fun in scientific discovery.

I don't see a convincing argument here that OpenAI does not in fact aim to further humanity's understanding of mathematics, or that using AI for scientific discovery is comparable to automating away the fun parts of life.

The sarcasm is rhetorically strong, but profound? I don't think so.