I don’t think the letter is even anti-tech progress. I also don’t think the tech companies are primarily pro-math progress (not that I think you think that). It’s primarily “anti-unnecessarily-destroy-the-human-systems-of-mathematics-just-for-benchmarks-and-marketing”

> … the push by AI companies to solve mathematical problems as a benchmark is detrimental to the science of mathematics, and to the mathematical community. The goals of the AI companies and the goals of the mathematical community are severely misaligned.