Comment by yewenjie
1 day ago
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?
1 day ago
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.
That's sort of how problems work.