One thing I've struggled with is the idea (perhaps a bit old now) that "it's just like having a junior engineer". I don't really feel that managing a junior engineer is actually an improvement over writing my own code.…
yeah I mean I watch them for the VFX commentary that I think is interesting not for their ethics, it's quite easy to cross that line as a big youtuber, you need to make a bit of an effort, instead they just make some…
fortunately, if you're feeling grumpy, you can use one of their biggest sponsors to talk to a highly professional personal therapist with the ease of installing an app which is definitely not preying on people with…
> the general feeling is that the core physics are well modeled (NS millennium problem not withstanding) and are not lacking in predictive power for useful applications the NS problem is not physics and not predictive,…
But they would need to employ human mathematicians for that.
Why is that even a question? That's how human mathematics has worked for ages, it's OpenAI breaking that chain, which needs to be severely questioned. Because the real question is not whether anyone or anything built on…
Other mathematicians have done the work of writing out and publishing these proofs, OpenAI has published Lean certificates. The first type of work pushes the field of mathematics further, the second kind strip-mines the…
> I think the scarier alternative may be OpenAI forever gating their super-frontier models, capturing a significant portion of the sciences and leveraging it for equity in businesses that build on scientific advances.…
> solved the Navier–Stokes Millennium Prize Problem as far as I know they still haven't claimed the prize, but rather stopped just short of it they produced a Lean certificate for a math problem, but it's not "solving a…
> most of their subsequent breakthrough results in mathematics have come from a single prompt to a single AI agent, using approximately 3 hours of ChatGPT Pro-equivalent thinking compute per result on average. but that…
They first do have to show results that are actually useful to any human, though. Right now, they just created busy work for real mathematicians while snatching away their feeling of accomplishment and discovery. The…
Odds are about 50/50 what happens first, a galactic algorithm becoming useful, or OpenAI strip-mining a discovery from the field of Mathematics in a way that discovery benefits any human.
How wonderful, they created more busy work for real mathematicians without the actual pay-off of discovery.
> Anyone can solve any problem they want I'm pretty sure the multi billion dollar company has been throwing some of those multi billions at it > and release it "it" being a Lean proof that shows they could, technically,…
> It seems like you are doing exactly what you accuse the parent commenter of doing. oh please
> slowly starting to accept the inevitable. you're really full of it to assert it's "inevitable"
> Including the relevant mathematicians and scientists before dumping this onto the public is sure to go a long way to relaxing fears in those communities. You subtly invalidate their genuine fears. Valid fears don't…
> I think OpenAI deserve credit for adjusting their approach after the last math drop. I think Terrance Tao shares some credit here for galvanizing the response. what do you mean they've put themselves in the spotlight…
> To explain more, it is guaranteed that you can reduce any NP problem to 3SAT in polynomial time with a polynomial factor in input size. No, subexponential is not the same as polynomial time. There's sub-exponential…
It wasn't "slightly" more dramatic: https://calif.io/php2shell/#patch-the-planet I mean what is the world coming to when security researchers cannot release a writeup that is designed to look like slop, and starts with…
> Being totally burned out on AI hype myself, I'm somewhat sympathetic towards the folks that are still thinking of this as just another example of that. I mean, it was also that it was marketed in the media as a…
> believing the vulnerability simply isn't a big deal, which is clearly false. you keep repeating this, also when people make very valid other criticisms, such as the hype causing government websites to be pre-emptively…
you've been posting about "AI denial" all over this thread, feeling incompetent?
true but even if we allowed scooters, if top sports athletes don't have to wreck their bodies before their 30th, what's the point
Token prices? Inference prices? They're not selling LLMs.
One thing I've struggled with is the idea (perhaps a bit old now) that "it's just like having a junior engineer". I don't really feel that managing a junior engineer is actually an improvement over writing my own code.…
yeah I mean I watch them for the VFX commentary that I think is interesting not for their ethics, it's quite easy to cross that line as a big youtuber, you need to make a bit of an effort, instead they just make some…
fortunately, if you're feeling grumpy, you can use one of their biggest sponsors to talk to a highly professional personal therapist with the ease of installing an app which is definitely not preying on people with…
> the general feeling is that the core physics are well modeled (NS millennium problem not withstanding) and are not lacking in predictive power for useful applications the NS problem is not physics and not predictive,…
But they would need to employ human mathematicians for that.
Why is that even a question? That's how human mathematics has worked for ages, it's OpenAI breaking that chain, which needs to be severely questioned. Because the real question is not whether anyone or anything built on…
Other mathematicians have done the work of writing out and publishing these proofs, OpenAI has published Lean certificates. The first type of work pushes the field of mathematics further, the second kind strip-mines the…
> I think the scarier alternative may be OpenAI forever gating their super-frontier models, capturing a significant portion of the sciences and leveraging it for equity in businesses that build on scientific advances.…
> solved the Navier–Stokes Millennium Prize Problem as far as I know they still haven't claimed the prize, but rather stopped just short of it they produced a Lean certificate for a math problem, but it's not "solving a…
> most of their subsequent breakthrough results in mathematics have come from a single prompt to a single AI agent, using approximately 3 hours of ChatGPT Pro-equivalent thinking compute per result on average. but that…
They first do have to show results that are actually useful to any human, though. Right now, they just created busy work for real mathematicians while snatching away their feeling of accomplishment and discovery. The…
Odds are about 50/50 what happens first, a galactic algorithm becoming useful, or OpenAI strip-mining a discovery from the field of Mathematics in a way that discovery benefits any human.
How wonderful, they created more busy work for real mathematicians without the actual pay-off of discovery.
> Anyone can solve any problem they want I'm pretty sure the multi billion dollar company has been throwing some of those multi billions at it > and release it "it" being a Lean proof that shows they could, technically,…
> It seems like you are doing exactly what you accuse the parent commenter of doing. oh please
> slowly starting to accept the inevitable. you're really full of it to assert it's "inevitable"
> Including the relevant mathematicians and scientists before dumping this onto the public is sure to go a long way to relaxing fears in those communities. You subtly invalidate their genuine fears. Valid fears don't…
> I think OpenAI deserve credit for adjusting their approach after the last math drop. I think Terrance Tao shares some credit here for galvanizing the response. what do you mean they've put themselves in the spotlight…
> To explain more, it is guaranteed that you can reduce any NP problem to 3SAT in polynomial time with a polynomial factor in input size. No, subexponential is not the same as polynomial time. There's sub-exponential…
It wasn't "slightly" more dramatic: https://calif.io/php2shell/#patch-the-planet I mean what is the world coming to when security researchers cannot release a writeup that is designed to look like slop, and starts with…
> Being totally burned out on AI hype myself, I'm somewhat sympathetic towards the folks that are still thinking of this as just another example of that. I mean, it was also that it was marketed in the media as a…
> believing the vulnerability simply isn't a big deal, which is clearly false. you keep repeating this, also when people make very valid other criticisms, such as the hype causing government websites to be pre-emptively…
you've been posting about "AI denial" all over this thread, feeling incompetent?
true but even if we allowed scooters, if top sports athletes don't have to wreck their bodies before their 30th, what's the point
Token prices? Inference prices? They're not selling LLMs.