A lot of these seem to be proving conjectures rather than finding counterexamples, a lot of people used that to claim that these models are not really smart/creative etc.

That copium didn't last for what, three months?

I acknowledge I am impressed how quickly it moved beyond just counterexamples.

Don't worry, more copium will be delivered. TBF so far it's still only solved the easiest of the millennium problems.