I think that's just oblivious to what mathematicians actually care about when it comes to "name and fame." Basically no one outside of the mathematics community

I think that's just oblivious to what mathematicians actually care about when it comes to "name and fame." Basically no one outside of the mathematics community and its periphery knows who someone like Terrence Tao is, and those outside academia who do know who he is probably don't know one single result that he's proved. The most famous mathematician in America may be James Stewart for authoring the calculus textbook. Mathematicians do not get fame amongst the general public. They want fame within mathematics. If the mathematical community identifies Luis Martínez-Zoroa or Buckmaster and Alpöge as the last human in the chain before NS was solved, and internally attaches their names to it, that will be enough for most mathematicians. Mathematicians write the textbooks. Some other mathematician is still free to consolidate OpenAI's proof into a better proof, put it in a popular graduate textbook, and gives it the name "The Martínez-Zoroa Theorem", and then whenever an undergraduate PDE textbook mentions NS, they say, "according to The Martínez-Zoroa Theorem...", and then Martínez-Zoroa gets a Fields Medal for his contributions to his theorem. The case you're making seems to be that no one in the mathematics community would feel satisfied with that because at the end of the day everyone would know Martínez-Zoroa didn't solve NS. OpenAI did. And it wouldn't matter if Open AI paid to erect a 50 foot statue of Martínez-Zoroa in front of a museum of the history of NS in which every single mathematician who ever contributed anything to NS was publicized and celebrated and glorified and deified and credited and thanked. It wouldn't matter because maybe what mathematicians actually wanted wasn't credit for what they did do but that at the end of the museum tour the final display would talk about the human who solved NS. No matter how much credit you give mathematicians, no mathematician will now ever be able to claim "I solved NS" because OpenAI beat them to it. If that's the case, then the letter is misguided. It's pretending that the problem is that AI is misaligned with the goals of mathematics. That's not the problem. The problem is that no matter how ethically it behaves, humans are going to be pissed that there is a non-human thing that is better at math than them. And I'm also pissed that we are creating this thing that's going to be better than humans at a whole bunch of things and it's going to cause a bunch of people to outsource their humanity to an AI. I'm pissed about that. But I'm not trying to pretend that AI can somehow eventually win me over if only it was more aligned with me when I know full well that its alignment has nothing to do with my loathing of it.