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

71–80 of 1001 posts

Re: On the Navier–Stokes Millennium Prize Problem

#71

Post by SpicyLemonZest »

paxys wrote: post #37
railgunmerlin wrote: post #25

Does seem like they gloss over Alpöge and Buckmaster's work with the following > While unlikely, we cannot rule out that de-identified data derived from their usage of our products helped improve our models . Which seems a bit irresponsible/rash?

What else can they declare really? Yeah the model has training data from previous attempts. Alpöge and Buckmaster also similarly benefited from attempts before theirs.

They could have thought about the problem for like 2 minutes and not done this! I think that literally any academic mathematician could have explained to them, had they asked, why it is considered extraordinarily rude to react to rumors of research progress by desperately rushing to get there first.

Re: On the Navier–Stokes Millennium Prize Problem

#73

Post by verytrivial »

viccis wrote: post #36
railgunmerlin wrote: post #25

Does seem like they gloss over Alpöge and Buckmaster's work with the following > While unlikely, we cannot rule out that de-identified data derived from their usage of our products helped improve our models . Which seems a bit irresponsible/rash?

"Unlikely" lmao if it's in the corpus, it's gonna be brought up immediately. This is no different than scooping them.

It's not massively different from a certain President's teleprompter operator making bets on speech content. A moral hazard a mile wide which I don't think OpenAI can so easily wave away as they are apparently trying here, especially since they've spent something like $15e6 to keep $1e6 out of academic researchers' hands, right?

Re: On the Navier–Stokes Millennium Prize Problem

#75

Post by ccppurcell »

Reading between the lines here, and taking an admittedly very negative view of openai, but they train on user prompts. So if they hear a rumour that someone is about to make a big breakthrough, they have an incentive to scoop by running the model and hoping the solution is in the new training data. Also the statement from the mathematicians in question alleges that they tried to pressure him into academic malpractice. Just appalling timeline we're in, cheers.

Re: On the Navier–Stokes Millennium Prize Problem

#76

Post by sk4rekr0w »

tedsanders wrote: post #57
suddenlybananas wrote: post #51

Earlier quoted context omitted.

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.

Haven't seen a single post doing this on X or anywhere really from OAI employees. Only seen knives pointed at Sebastian on social media so this is extreme and shameful gaslighting.

Re: On the Navier–Stokes Millennium Prize Problem

#77

Post by d_silin »

echelon wrote: post #53
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 butt…

...absolutely nothing will change short-term. Long-term, you still have to pay all the bills, but you won't be able to find a job (all taken by AIs).

Re: On the Navier–Stokes Millennium Prize Problem

#79

Post by sigbottle »

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.

Well, according to Terry Tao, there were recent developments (from weeks ago) that made Navier Stokes in principle, solvable. So ignoring time, I say possibly, just because the groundwork was laid.

What's impressive is parallelizing it arbitrarily and doing it in 88 hours.

Re: On the Navier–Stokes Millennium Prize Problem

#80

Post by suddenlybananas »

tedsanders wrote: post #57
suddenlybananas wrote: post #51

Earlier quoted context omitted.

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.

https://news.ycombinator.com/item?id=49605915#49607090
Post reply on HN