> if openai had provided really readable proofs with utmost care but still dropped 400 at once, would there have been less outrage?

Less criticism, yes

There’s always going to be outraged people, but outrage isn’t the word I would choose to describe the positions of the mathematicians I’ve read on this topic, including TFA. There’s a lot of optimism mixed with frustration that something important is missing