Fine and we are saying that this is not central to the discussion because even if models wrote it nicely, there'd be even more outrage.
Do you disagree with this? For example, if openai had provided really readable proofs with utmost care but still dropped 400 at once, would there have been less outrage?
> 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