Live data from Hacker News

On the Navier–Stokes Millennium Prize Problem

openai.com

401–410 of 1001 posts

Re: On the Navier–Stokes Millennium Prize Problem

#401
They deliberately stepped on a mathematicians work and stole their research because they were using Codex

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

Is the biggest fuck you to the mathematics community.

Credit? Nah if we think you’re close we’ll use your data and swamp you with our improved model. Then we’ll threaten you.

Re: On the Navier–Stokes Millennium Prize Problem

#402

Earlier quoted context omitted.

OpenAI version of events conceed some of the words alleged to have been used may have been used https://x.com/sama/status/2097385167002415140 https://x.com/SebastienBubeck/status/2097379411691516310

> "When we learned that they had Euler but not Navier-Stokes, we offered to let them go first, to suggest that they should be the ones to get the prize, and optionally for Tristan to be the lead author on a rewrite of the OpenAI proof. We felt it was challenging to offer the same to Levent (an Anthropic employee), who was not willing to talk or coordinate with us anyway. We were open to other solutions." What an admi…

Can't wait for the moment when AGI realizes how stupid and dishonest its owners are.

Re: On the Navier–Stokes Millennium Prize Problem

#403

Earlier quoted context omitted.

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”.

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.

Re: On the Navier–Stokes Millennium Prize Problem

#404
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…

> People are saying OpenAI "stole" this from the work of an OpenAI user. If so, that's pretty fucked - how can we trust them? The said user (Tristan Buckmaster) didn't solve the millennium problem. He didn't really accuse that OpenAI stole his research either. The beef came from the fact OpenAI asked him to remove another mathematician, who works for Anthropic, from the credit. "People" are just misinformed and keep…

https://mastodon.social/@tristanbuckmaster/11723647135247030...

He very much is accusing them of stealing his work

Re: On the Navier–Stokes Millennium Prize Problem

#405
post #321

Earlier quoted context omitted.

> I have a couple friends who did the Math tripos at Cambridge (so a pretty high level!) who work in tech and have unanimously said they have 0% expectations of an LLM doing a millennium problem anytime soon https://news.ycombinator.com/item?id=38433655 > Let's talk when we've got LLMs proving the Riemann Hypothesis (or any mathematical hypothesis) without any proofs in the training data. I'm confident in my belief t…

As someone with a background in AI and who has been playing around with neural nets for decades at this point, it's been genuinely amazing watching extremely intelligent people make confident predictions about AI capabilities and progress, then be so completely wrong. There's a kind of theory of mind for AI (specifically neural nets) which I now realise I seem to have which is very hard to explain to people who haven…

[deleted]

Re: On the Navier–Stokes Millennium Prize Problem

#406
post #102

Earlier quoted context omitted.

> 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. Pretty much all of math and science history is basically this pattern again and again. I'm sure all of that was rude as well.

Being scooped is not a new phenomenon, but the scooper's story is almost always that they were working on the problem independently or had some independent insight into it. By OpenAI's own account, they were inspired to start working on this by rumors that there might be Millennium Prize solutions to scoop.

Research projects don't start in a vacuum.

It never happens that you wake up one morning and start working on a new problem that came to you in a dream (*unless you are Ramanujan).

This is business as usual for academia, it's amusing to the discussion over it.

Re: On the Navier–Stokes Millennium Prize Problem

#407

Earlier quoted context omitted.

To truly prove some incidental usage data made no difference we'd have to (a) identify any of their de-identified data that came from their usage of ChatGPT, (b) train a bunch of expensive giant models, and (c) ask them all to solve the Navier-Stokes Millenium problem until hitting some level of statistical significance. It's just not feasible to run experiments like this to prove whether a piece of data has an effec…

> As a parallel example, can we prove the phase of the moon had no impact on the NS solution? No, not without a bunch experiments run at different phases of the moon. That reads as incredibly dismissive and condescending. What makes you think you’re in a position to communicate like that when engaging on such a sensitive topic?

I intended no dismissiveness or condescension. My hope was to explain why it's hard to prove whether something affects model behavior. In the case of the moon, we have a strong prior belief that it makes no real difference. But it's hard to prove, because what if there's an unexpected impact from tides, cosmic rays, grid voltages, holiday traffic, etc. Models trained under slightly different conditions could have slightly different weights and behave slightly differently when solving math problems. Similarly, I have a strong expectation that, for example, a thumbs up signal from a ChatGPT chat will not meaningfully affect long-horizon mathematics work in our latest model, but it's always possible that it could. I think the plausibility of the ChatGPT route is higher than the tides, but still incredibly low. I respect Tristan and Levant a great deal and I'm bummed that this controversy has erupted (I acknowledge this will ring hollow if you think it's our fault). It reminds me a bit of the Frontier Math controversy, where people on the internet boldly claimed over and over again that we had trained on the Frontier Math evaluation set, even though we had not.

Re: On the Navier–Stokes Millennium Prize Problem

#408
post #146
post #62

> A major goal of our work is to empower scientists to advance research and technology that benefits all of humanity. And what's a better way of empowering people than robbing them.

> And what's a better way of empowering people than robbing them. Better than the walled gardens of most journals where you can't even read half the papers without shelling over thousands of $$$

So, better to make that walled garden OpenAI? One of the scummiest companies on earth?

Re: On the Navier–Stokes Millennium Prize Problem

#409

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.

Is there an implication of violation of ZDR here? Not a challenge. Just a request for clarification.

By the way, the company that made it's entire product off of stealing all data it could get it's hand on while violating copyright and pirating, is not all of a sudden going to respect your data. If you think OpenAI or any major AI lab is going to give you true ZDR, I have a bridge to sell you.

Re: On the Navier–Stokes Millennium Prize Problem

#410

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

This analysis implies the only benefit to resolve this problem is to win the prize. But the prize is only there to indicate that this is viewed as an important problem in mathematics.
Post reply on HN