Live data from Hacker News

On the Navier–Stokes Millennium Prize Problem

openai.com

481–490 of 1001 posts

Re: On the Navier–Stokes Millennium Prize Problem

#481

Earlier quoted context omitted.

If I was a company with a zero data retention contract involving OAI I would be asking for a third party audit of such claim of zero retention like, yesterday.

The idea OpenAI or Anthropic won't train on your data—even with an enterprise contract—is a fantasy at best, and dilusion at worst.

This is how every conspiracy theorist thinks: my enemy is Bad, and if they did a Bad thing, it would be Good for them, therefore they obviously did it. No evidence needed other than "motive" + my enemy is evil. But even if your enemy is evil, in this case, they would be fools to take the legal risk of violating their contract for the minimal upside of a tiny bit more training data (and fools to assume this would not be exposed in a large organization). So you need to assume your enemy is both evil and remarkably stupid.

Re: On the Navier–Stokes Millennium Prize Problem

#482

5 million messages, 300b output tokens, done in 5 days, and achieving something humans couldn't. the first "Country of geniuses in a datacenter" moment.

> humans couldn't. There's allegations right now that the model essentially read the work of a human mathematician using AI to work on the problem and OpenAI is presenting his work as that of their model

Allegations that the model plagiarised itself, while reflecting poorly on humans, don't make the AI any less impressive. It was the one doing the breakthrough on both sides, after all, not the human prompters.

Re: On the Navier–Stokes Millennium Prize Problem

#483

Earlier quoted context omitted.

> WOW This. I do dislike the AI oligarchs as much as the next person, but I do find the thread full of complaining a bit depressing still. If the result holds (and it looks it does), this may be one of the, if not the, biggest things to happen in computing to date. A lot bigger than e.g. Deep Blue beating Kasparov in chess or AlphaGo beating Sedol in Go.

Seeing mathematicians such as Terry Tao being unhappy with open problems being solved makes me sort of question the usefulness of any of this pure mathematics. If we're not happy that the problems are being solved, why care about this field at all?

Where was Tao unhappy? I thought he was sort of anticipating this.

Re: On the Navier–Stokes Millennium Prize Problem

#484

Earlier quoted context omitted.

> WOW This. I do dislike the AI oligarchs as much as the next person, but I do find the thread full of complaining a bit depressing still. If the result holds (and it looks it does), this may be one of the, if not the, biggest things to happen in computing to date. A lot bigger than e.g. Deep Blue beating Kasparov in chess or AlphaGo beating Sedol in Go.

Seeing mathematicians such as Terry Tao being unhappy with open problems being solved makes me sort of question the usefulness of any of this pure mathematics. If we're not happy that the problems are being solved, why care about this field at all?

He's not unhappy with it being solved, but the solution is less important than the learning you have to do to arrive at the solution. If they're just chucking compute at it and publishing the answer and hiding the path to get there, it sort of negates the whole point of posing such problems to begin with.

Re: On the Navier–Stokes Millennium Prize Problem

#485

Earlier quoted context omitted.

The allegations of contamination (using Tristan and Levent's work) aren't very well evidenced, but this behavior by OpenAI (from the authors' statement) makes them seem like the bad guys: > I said that if OpenAI released its result in the way proposed I would go public with what happened. The reply was, “Why would you ruin your career?” I replied that I am an academic, and asked why he thought going public would ruin…

Both Sam Altman and Sebastien Bubeck admitted they only want Buckmaster to be the lead author on a rewrite of the OpenAI proof. https://x.com/sama/status/2097385167002415140 https://x.com/SebastienBubeck/status/2097379411691516310 A wake up call for using OpenAI models. If you discover something with their model and you work for a competitor, they “felt it would be inappropriate” for you “to author OpenAI’s work”.

> We did not rush to publish even though the other team wasn't communicating with us.

Pretty clear this was rushed: there are no comments from external mathematicians, unlike the Erdős announcement:

https://openai.com/index/model-disproves-discrete-geometry-c...

Re: On the Navier–Stokes Millennium Prize Problem

#486

Not a great time to be starting sophmore year in cs & math. Should I just say fuck it, and go hitchhiking across Europe with some friends?

> Should I just say fuck it, and go hitchhiking across Europe with some friends?

Yes. Assuming you are young and haven't had such experience.

The world is changing not just because of AI. Everything is unstable right now. You may regret not enjoying the remainder of stability and economic viability prior generations had. It's not like you can expect to get ahead by powering through education. Either your career perspective will soon change for the better, or worse. In any case, you gain little by sticking with career building at this moment in life. You are however, at risk of losing the chance to experience the still mostly pleasant world as is.

Re: On the Navier–Stokes Millennium Prize Problem

#487
post #378
post #190

Earlier quoted context omitted.

Compute will always be the bottleneck even if this were true.

If humans can figure out to optimize to circumvent bottlenecks, I have no doubt each new bottleneck will also get routed around, just now automated.

Yes. In other words: the singularity. I'll only believe it when I see it though.

Re: On the Navier–Stokes Millennium Prize Problem

#488

I think this is clear evidence that AI models are now at the far frontier of mathematics innovation and discovery and exceed human limits. This specific problem having had a $1 million bounty on its head and still remaining unsolved for 26 years after the bounty was placed is pretty clear evidence that many of the world's best human mathematicians would have solved this problem if they could have, and none were able…

Eh... OpenAI spent significantly more than $1 million solving this...

Re: On the Navier–Stokes Millennium Prize Problem

#489
post #378

Earlier quoted context omitted.

If humans can figure out to optimize to circumvent bottlenecks, I have no doubt each new bottleneck will also get routed around, just now automated.

How do you automate the mines to get the raw materials to make the compute from, and build additional fabs that take a almost a decade to stand up. You're actually delusional.

Hello good sir from the 1700s pre-industrial revolution who doesn't think that mines and factories can be automated.

Re: On the Navier–Stokes Millennium Prize Problem

#490
post #446

I think this is clear evidence that AI models are now at the far frontier of mathematics innovation and discovery and exceed human limits. This specific problem having had a $1 million bounty on its head and still remaining unsolved for 26 years after the bounty was placed is pretty clear evidence that many of the world's best human mathematicians would have solved this problem if they could have, and none were able…

Sure, even a 20% chance at 1 million payday after 5-6 years of fulltime work on a project with zero practical application doesn't touch the, say, 200k/year guaranteed our best mathematicians would have to forgo to devote their intellect to the problem.

i wonder how many tokens it takes to run 10,000 agents? One could argue this is simply a problem of appropriations. I find myself wondering if a corporation could spend $5M on mathmeticians and arrive at the same end result.
Post reply on HN