alt Hacker NewsI would admit seeing more mathematicians irritated is a good popcorn show.
For what's worth it, this batch of results are not very tight intentionally by OpenAI and promising mathematicians already started to consume them and improve the results, while someone is still complaining on it.
Reading though these comments I truly understand why the hardest part of my career in "IT" has been personalities.
The lack of emotional maturity and empathy is very on par with my experience thus far.