Well, that is a weird reaction.
My point is: Paul Erdős is a giant in the field, none more prolific. To solve a problem that he couldn’t is an astounding feat.
The era where we can be dismissive about AI has passed.
Maybe the bad outweighs the benefit, but the lack of benefit is simply not true.