Here's the thing. I read the letter. I'm considering it on its merits. And it has very little. They made great arguments for why it's a good thing that the mathematical community operates the way they do. They could have made a good argument for why practitioners within the mathematical community shouldn't be seduced by the power of AI and should continue to build mathematics they way they do now. Ignoring AI as a tool, but perhaps not ignoring the results coming out of it, builds understanding and skill and develops humans. I'd be all for a letter that calls on humanity to not give up their humanity to AI tools. To not become lazy and overly dependent on them.

The letter makes no arguments why AI companies proving a bunch of results quickly at all affects the ability of mathematicians to do what they want to do. It's just a giant self-congratulatory list of all the wonderful things the mathematical community does and notes that AI companies aren't doing the same thing.

It's not enough for them that they are still free to pursue all the goals they outline in that letter to their hearts content. They want to make sure everyone else doing mathematics also sets aside their own goals and pursue theirs. I distrust AI as a technology regardless of alignment. And I've learned to just not use them and focus on the things in my life that matter to me. It turns out that I'm still free to pursue the things in my life that are meaningful regardless of the existence of LLMs.