upvote
deleted
reply
But the researchers also did their research using essentially the same models, so that isn’t a counterpoint to AI models being at the far frontier…
reply
deleted
reply
> not a counterpoint

>> isn't a counterpoint

Where do we disagree?

reply
How can you afford to burn $50k on an already solved problem?
reply
Those are two separate questions:

> How can I afford?

Mostly not my money, tech makes one fabulously wealthy, I care more about math than fast cars or whatever (even as a pizza driver you can afford a fancy car if that's your primary motive), etc.

> Already solved

That's a very interesting insight into mathematics. It's absolutely just as interesting to prove that certain proof techniques are or aren't possible as it is to actually prove the main result, sometimes moreso, especially if they have any chance of improving attacks at other problems.

reply