The word human (usually) refer to all members of the Homo genus. The name Homo sapiens means 'wise man'. Except for the clever use of thumbs our genus successfully managed to apply logic consistently in order to survive. Human reasoning produced tools, technology and science. So, no, it doesn't say it in the name. We occasionally are dumb, or make dumb comments, but the expectations are high.

So it's understandable why dumb humans would expect to replace workers with AI --- which struggles with basic math and reasoning, has zero real world experience and can't tell fact from fiction?

I think people make comments on LLMs not being smart in reaction to the comments from the leaders of AI labs that LLMs are so smart they could/will lead to mass unemployment.

Isn’t this what Tao is addressing in the link, that LLMs haven’t encoded reasoning? Success in IMO is misleading because they are synthetic problems with known solutions that are subject to contamination (answers to similar questions are available in the textbooks and online).

He also discusses his view on the similarity and differences between mathematics and natural language.Tao says mathematics is driven entirely by efficiency, so presumably using natural language to do mathematics is a step backwards.

Why do you sound surprised by this?

"there is a gulf between the reality of what mathematicians actually do and the benchmarks that the frontier labs tout."

A lot of peoples wealth is on the line, I wish people opened their eyes rather than believing benchmarks blindly.