Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

On the Navier–Stokes Millennium Prize Problem

openai.com

Post reply on HN
Print view View original

751–760 of 1001 posts

Re: On the Navier–Stokes Millennium Prize Problem

#751

Post by DetroitThrow »

tedsanders wrote: post #236
contemporary343 wrote: post #132

Earlier quoted context omitted.

"I was shown a prompt and told the internal research model had simply been given the problem statement. Levent had been told by Sebastien “very little human input” had been used. This turned out not to be true. Over the course of the call, as members of their team sent Sebastien corrections and details over their internal chat, it emerged that an entire team had been working on the problem, that this was one of a num…

All of those statements sound true, based on what I've heard. - "very little human" input feels ambiguous, and if someone spends a few days prompting a model to solve a super hairy problem requiring a 100-page proof, I can understand reasonable people interpreting that as both "very little" and "not very little" human input - it's all true that a team worked on this, a bunch of compute was burned, and the problem was…

It's unclear if you're suggesting that OpenAI did not train on their input or use their chats as inputs to training on a model that found the solution. Let's not provide an Elizabeth Holmes-esque interview where the question is dodged and words gain new meaning. The question can be answered with "Yes, we trained on their conversations" or "No, we did not train on their conversations".

I'm not coming from a place of distrust here. This should just be definitively answerable given the weight of the claims here. Surely between you, your lawyers, and other members of your team you can just clear this part up.

Re: On the Navier–Stokes Millennium Prize Problem

#752

Post by irthomasthomas »

tzone wrote: post #739
irthomasthomas wrote: post #699

Earlier quoted context omitted.

If the goal was not to scoop them, why did openai put a massive team on this, working weekends, only after they heard rumors of the solution?

Clearly The goal was to scoop Anthropic not a single researcher. OpenAI heard the rumor that Anthropic solved an open problem. So they went nuts pulling all plugs to scoop them. Turns out it wasn’t actually Anthropic and just a researcher with a single Anthropic guy friend working on it . Wild times

The researcher told them it was an independent effort, and they still pushed ahead with it.

Re: On the Navier–Stokes Millennium Prize Problem

#753

Post by Kotlopou »

rybosworld wrote: post #688

In chess, a grandmaster just needs to know at what moment in a game there's a critical move to gain a significant advantage over their opponent. They don't need to know the move itself. OpenAI got wind that a millenium problem was being solved. And that feels a bit like the critical move in chess. That is - it was a signal that AI advanced far enough that it would be worth spending a lot of time and resources solving…

Elsewhere in this thread somebody claimed that at some point OpenAI pointed their new model at all the millennium problems and this is where they got some progress. We probably won't see proof of this, but it seems plausible to me -- I assume there's a list of problems that each new model is tested on, and you might as well put the big stuff on the list, if only to see how the model behaves when faced with a problem it knows should be very hard.

The weak point in this is: how do you evaluate if a partial result is promising? If this cost ~$10M as suggested elsewhere in the thread, probably not even OpenAI can just throw that at everything?

Re: On the Navier–Stokes Millennium Prize Problem

#754

Post by efavdb »

twobitshifter wrote: post #326

>The groups varied in size, and the group that produced the Navier–Stokes resolution involved on the order of 10,000 concurrent agents… The agents arrived at their resolution on Saturday, September 5, about 88 hours after the first agents were launched. The Millenium Prize is $1M, what is the ROI? (Edit: since I was not clear, and confused some - I mean for a hypothetical of a third party paying commercial rates to u…

I am curious who if anyone will get a reward for this. It would seem unreasonable to give it to the worker who asked the robot to solve it.

Re: On the Navier–Stokes Millennium Prize Problem

#755

Post by tristanj »

whimsicalism wrote: post #690
tedsanders wrote: post #236

Earlier quoted context omitted.

All of those statements sound true, based on what I've heard. - "very little human" input feels ambiguous, and if someone spends a few days prompting a model to solve a super hairy problem requiring a 100-page proof, I can understand reasonable people interpreting that as both "very little" and "not very little" human input - it's all true that a team worked on this, a bunch of compute was burned, and the problem was…

I'm confused, your employer very directly stated that they are unable to confirm that the model was not trained on the conversations.

The models are trained on the conversations of hundreds of millions of people. ChatGPT has several billion conversations every day. I estimate that the model that solved Navier–Stokes was trained on data from nearly a trillion conversations.

It's unknowable and not possible to prove if any one specific conversation was the key to solving Navier–Stokes.

Re: On the Navier–Stokes Millennium Prize Problem

#756

Post by masterspy7 »

aeve890 wrote: post #695
redox99 wrote: post #597

Earlier quoted context omitted.

The amount of goalpost moving is insane. "Yeah it can solve Millenium problems, but can it do it with nothing more than a one sentence prompt?" Also there are proofs where the only human steering was "keep going".

Parent comment is claiming creativity and genius beyond human experts, so why not ask for a fully unassisted AI novel result? Having access to the entire corpus of human knowledge, what else such amazing entity would require to solve a hard problem by its own? Any result of such kind from an AI alone would be enough to refute my argument, yet you don't present any. >Also there are proofs where the only human steering…

https://www.anthropic.com/research/riemann-zeta

>Throughout this process, Jarred's input was mostly limited to sending Claude messages of encouragement (mostly variants of “keep going” or “believe in yourself”).2 This seems to have helped Claude overcome some initial skepticism that it could make meaningful progress.

Re: On the Navier–Stokes Millennium Prize Problem

#757

Post by stratos123 »

root_axis wrote: post #453
echelon wrote: post #53

Earlier quoted context omitted.

This is going to be dramatic in so many different ways. - First off, to reiterate, WOW. - Second of all, when does this end? Are we at the dawn of the singularity now? - People are saying OpenAI "stole" this from the work of an OpenAI user. If so, that's pretty fucked - how can we trust them? - Time to think about retiring from any knowledge work or business? This could be winner-take-all where a leading lab can butt…

It's incredible to me that every single time there's a new model people scream "singularity" from the rooftops and every time they are wrong. This is an impressive result, but there is absolutely zero evidence of "the singularity".

...obviously it is evidence of the singularity. You're far more likely to see models solving Millenium Prize problems if a singularity is coming than if it's not. One'd have to be doing quite a lot of mental gymnastics to pretend otherwise.

Re: On the Navier–Stokes Millennium Prize Problem

#758

Post by [deleted] »

nerevarthelame wrote: post #587
tedsanders wrote: post #41

Earlier quoted context omitted.

Yes, that was the allegation last night. I work at OpenAI, though not on the team that did this, and my understanding is: - we decided to ask our model for Millenium problem solutions because of two reasons: (a) our new model was looking incredibly good and (b) we heard rumors that some Millenium problems had been solved and were curious if our models could solve them (the goal here was not to scoop any particular in…

My employer would be rightfully outraged if I commented publicly on a sensitive, nuanced, and controversial issue like this based on my second-hand understanding of the matter.

[deleted]

Re: On the Navier–Stokes Millennium Prize Problem

#760

Post by root_axis »

stratos123 wrote: post #757
root_axis wrote: post #453

Earlier quoted context omitted.

It's incredible to me that every single time there's a new model people scream "singularity" from the rooftops and every time they are wrong. This is an impressive result, but there is absolutely zero evidence of "the singularity".

...obviously it is evidence of the singularity. You're far more likely to see models solving Millenium Prize problems if a singularity is coming than if it's not. One'd have to be doing quite a lot of mental gymnastics to pretend otherwise.

Poor reasoning. You could apply the same logic to any improvement in any field of machine learning.
Post reply on HN