I think this is where Terry Tao hit the nail on the head. OpenAI has made claims, but the mathematics community does not accept garbage. It's less that they've done a disservice to the community; more that they've done a disservice to their own reputation.

I agree. Prompting 5.6 Sol to "Review these writeups and include appropriate citations and credit where appropriate" probably would have been a step in the right direction.

Then again, this would require them to actually care about the mathematics.