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.
alt Hacker News
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.