[nitwit005]

It's a quote from the article. The argument is naturally there.

[esafak]

I was referring to your leetcode analogy; those too are hard for humans.

[nyssos]

No, the analogue of competition math here is writing programs to solve leetcode problems: they emphasize quickly and reliably applying known tools, not developing new ones.