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?
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.