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

51–60 of 1001 posts

Re: On the Navier–Stokes Millennium Prize Problem

#51

Post by suddenlybananas »

tedsanders wrote: post #41
pavel_lishin wrote: post #8

Is this the one that was allegedly based on someone else's actual work & prompts? https://news.ycombinator.com/item?id=49605915 https://bsky.app/profile/quantian.bsky.social/post/3muyhwbcd... https://cims.nyu.edu/~tristanb/statement.pdf

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…

How are people talking about this there? Why are so many employees posting nasty things about Tristan on twitter?

Re: On the Navier–Stokes Millennium Prize Problem

#53

Post by echelon »

tiborsaas wrote: post #16

> We’re sharing a solution to the Navier–Stokes existence and smoothness problem, one of the Millennium Prize Problems. This proof, produced by an internal OpenAI system, shows that the dynamics of the Navier-Stokes equations for fluid motion can develop a singularity in finite time. We’re sharing both a writeup of the proof and a formalization in Lean. WOW?

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 button press any economic function, business process, or scientific discovery. 24 months of lead on Open Source might turn into virtual centuries of lead.

- Do "normies" even know what's happening?

Anybody who thinks the improvements stop here isn't paying attention. It hasn't been showing any signs of slowing down since 2018. And the curve isn't even linear! My god, next year is going to be insane.

Re: On the Navier–Stokes Millennium Prize Problem

#55

Post by int3trap »

dmitrygr wrote: post #22

> How we found the proof Easy, we stole it from Levent and Tristan https://x.com/kyanyang_/status/2097211154669998337

This is the academic equivalent of Trump saying "they stole the election". There's no proof of it but rah rah fuck OpenAI.

It's incredibly tiresome and you'd think people could put more effort into it than just following whatever vibes they agree with.

Oh well.

Re: On the Navier–Stokes Millennium Prize Problem

#56

Post by gr_norm »

Legend2440 wrote: post #42
seizethecheese wrote: post #26

Elsewhere in the thread, others have calculated $15mm at API rates for just the output token. (So I’ll assume this cost about that much, taking input and human researcher time.) I wonder whether a team of 60 mathematicians working solely on this for a year would have cracked this. (Assuming $250k total compensation.)

Probably not. It's a millennium prize problem, a great many mathematicians have been working on it for a very long time.

Not as many as you'd expect. The perceived difficulty of the problem leads people to more reliable pastures.

Re: On the Navier–Stokes Millennium Prize Problem

#57

Post by tedsanders »

suddenlybananas wrote: post #51
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…

How are people talking about this there? Why are so many employees posting nasty things about Tristan on twitter?

Can you point me to any nasty things being posted? I'll ask them to delete.

Re: On the Navier–Stokes Millennium Prize Problem

#58

Post by peri-cl »

dorjoycb wrote: post #13

It seems like some other mathematicians (not affiliated with openAI) have also (or close to) done this. A statement was posted about the surrounding events by one of the them: https://cims.nyu.edu/%7Etristanb/statement.pdf Also Terrence Tao's post: https://mathstodon.xyz/@tao/117233528517340774

Buckmaster:

> "I asked whether the model had been trained on, or had access to, our sessions in Codex, into which we had been putting all our drafts for the whole of this project. I was told the model did not look up user data. I asked again, about training, and I did not get an answer."

OpenAI (i.e. this OP):

> "While unlikely, we cannot rule out that de-identified data derived from their usage of our products helped improve our models ."

Post reply on HN