These are not run of the mill results from AI, those are surely being posted to arxiv constantly by normal researchers without any fanfare.

These are really big results from AI, if a human had come up with them we would also be making a really big deal out of them too (maybe not as big of a deal, part of the excitement is that this was from AI and more results of this magnitude may soon follow).

Regular human processes, it turns out, have been a bottleneck that AI is now removing. AI is now routinely popping problems that have routinely stumped humans for decades or centuries.

Science doesn't have to be a grind with AI.