alt Hacker NewsA 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?
Replies
sebzim4500 • yesterday at 11:44 PM
Don't worry, more copium will be delivered. TBF so far it's still only solved the easiest of the millennium problems.
I acknowledge I am impressed how quickly it moved beyond just counterexamples.