gewetensleegte

That's not really what's going on though.

The same behaviour happens when you turn off "Location History", Google Maps stops showing the last few searches in its search box. That's literally a matter of local storage that's available in any decent GUI library.

It's really stupid but it's the only reason why I keep Location History turned on. I don't really want Google to keep my Location History, but when I'm on the road, it's super inconvenient to have to type full address over and over again.

I wonder if with the reverse engineering LLMs allow us, I could patch Google Maps to behave like a normal program with a normal search input field.

It just means what they said, that if you're a billionaire, getting a case thrown out in a country like the USA, shouldn't get you any points regarding to common people's belief if you're guilty or not.

That's just how it is. In the US he gets to not go to jail in a justice system where nobody believes he's actually innocent, because he has money.

careful now, cause unlike when commenters talk freely about victims of state violence "deserving it" cause they weren't respectful enough to the gestapo and/or blinked wrong, when you say things like that about even the fence on the gate of the estate of CEOs or rich people, dang gets really upset about it

https://news.ycombinator.com/item?id=47728106

Speak for yourself :-)

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. At least for my own purposes (where satisfaction weighs a bit heavier than productivity).

But that's just me.

But for the people for whom it is an improvement, did you consider that you just got promoted to manager, without an increase in pay?

Because a promotion without increase in pay, is just empty and actually giving you more responsibilities without anything in return.

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 questionable choices

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 mental health issues /s

> 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, it happens at scales smaller than molecules, so it doesn't occur in real fluids

also the "NS millennium prize problem" hasn't been solved until OpenAI actually gets it published in a Math journal, and I would say it has been ruined until they do

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 work, but whether any human can build on that work.

And so far, yet again, OpenAI has stopped just shy of that, instead creating math homework for mathematical geniuses while taking away their sense of discovery and accomplishment.

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 sense of discovery and accomplishment and replaces it with math homework for high level mathematicians, because in order for it to be useful, it still needs to be turned into a human readable proof.

It's imho not valid to say OpenAI is "building off" other mathematicians work, in the same way as humans, do.

> 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. e.g. "Hey CATL, how about you guve us 5% equity in exchange for a battery chemistry breakthrough our AI has found?".

surely if they were able to produce economically relevant breakthroughs, they wouldn't be burning compute on all of this

> 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 Millennium Prize Problem" until they get a human readable version approved and published in a Math journal.

that's the rules for the Milennium Prize Problems.

I would personally sooner say they ruined the Navier-Stokes Millennium Prize Problem, because the last part is important. Nobody in fluid dynamics research has any use for the result specifically because the breakdown singularity happens at a scale smaller than molecules, and they were dealing with that already. The Millennium Prize Problems exist to encourage mathematics, not to pull the rug on it.

> 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 would mean anyone could do it, right?

then why are these results coming from OpenAI all the time?

are you saying they're just better at prompting?

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 only "use" for these results people can claim currently, all rest on the idea that surely better results will follow. Which is why it's being called strip-mining, because you can only keep that up for so long.

What if they just start churning out Lean proofs forever, and the only job left for mathematicians is turning them into human readable proofs, this is definitely a net negative for humanity, because then true progress of mathematics will slow down, because there are more people that like doing mathematics for discovery and accomplishment, than there are people that like doing math homework for the sake of it.

Also I would prefer a world where humans get to have this sense of discovery and accomplishment, instead of what they are trying to turn mathematics into.

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, get a real mathematician to write down a real Math proof that could actually get published and be useful, right?

"it" being, a bunch of busy work for real mathematicians without the actual pay-off of discovery?

> 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 need to be "relaxed".

> 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 constantly

> 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 functions that grow faster than polynomial.

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 a bunch of cartoons with lame cyberpunk and matrix references, without being ridiculed for taking the piss ...

> 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 security apocalypse and unpatched servers would be falling within 15 minutes after the patch got released. This didn't happen. And that definitely warranted skepticism. There's been MUCH more severe vulnerabilities in the past that just went by without OpenAI's marketing making everyone go crazy about it.

Also, almost all information about it was dressed up in slop. Because OpenAI didn't want us to forget that AI was involved, somehow.

> 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 shut down -- do you believe this was warranted?

because that is the criticism.

nobody, including that "PHP vuln isn't so bad" blog article, which was VERY clear about this, said you shouldn't patch your servers

what's worrying is that you keep making up straw men, but why?

this isn't about the vulnerability, it's about OpenAI's Patch The Planet hype train

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.

well that either sucks for them or it's pathetically petty, cause it is clearly positioned in a way and on a website to look like AI slop as best as it can

if I were a serious cartoon artist, I would complain for taking the piss