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.