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

771–780 of 1001 posts

Re: On the Navier–Stokes Millennium Prize Problem

#771

Post by logicallee »

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…

My OpenAI account was deactivated on Sunday due to a claimed infraction of production of child materials, maybe based on a few words in a technical chat that clearly isn't about that. Can you take a look? rviragh@gmail.com - I was doing a lot of important work and projects and sharing much of my work with OpenAI. I also am a big proponent of funding Social Security Trust Funds (OASI & DI Solvency) so reactivating my account would let me do that as well. Thank you for taking a look.

Re: On the Navier–Stokes Millennium Prize Problem

#772

Post by derangedHorse »

Imnimo wrote: post #742
tedsanders wrote: post #624

Earlier quoted context omitted.

If they opted out of training, then we definitely did not train on them. If they did not opt out, then I don't personally know if training signals came from their chats, and I don't think we'd be able to tell without their cooperation in identifying them. And even if signals were trained on in some manner, I highly doubt it made a difference to a problem as challenging as the NS proof. Reasons for my doubt: - I know…

I don't think you'd lie about it, I don't think you'd train on them if they opted out, and it seems very plausible that this wouldn't have been decisive in whether the model could solve the problem. That said, it also seems at least possible that a key idea or a particular step found its way into training data. It wouldn't mean OpenAI stole their proof - clearly the model developed its own approach. Either way, it se…

> It seems like people who might want to use OpenAI's models as part of their research would want to be very clear about whether doing so can make them, even in principle, more likely to fall victim to this.

Fall “victim” to what? Having their responses in the training data if they fail to opt out? That is what will happen.

If you’re referring to falling “victim” to OpenAI scooping a problem discussed in training, this also wasn’t the case. They chose the problem based off human-spread rumors.

Re: On the Navier–Stokes Millennium Prize Problem

#773

Post by bibimsz »

qlte wrote: post #737
bibimsz wrote: post #315

Earlier quoted context omitted.

feels like moving the goalpost. is the achievement impressive or isn't it?

The question being posed isn't whether AI is impressive but whether we're at the "dawn of the singularity"

i'm observing that rapidly moving goalposts is a feature of the singularity

Re: On the Navier–Stokes Millennium Prize Problem

#774

Post by xdavidliu »

dgellow wrote: post #303
apical_dendrite wrote: post #271

Earlier quoted context omitted.

Their own tweets are also pretty eyebrow-raising: > One option we discussed was that Tristan could be the lead author on a rewrite of OpenAI’s Navier-Stokes proof. It is in that context that I said “it would be simpler if Levent was not an Anthropic employee” because I felt it would be inappropriate for an Anthropic employee to author OpenAI’s work. Why would you offer another researcher the lead authorship on your g…

And why cannot they have someone associated with Anthropic as co-author? That’s not obvious at all. For sure they would prefer to be the only ones, but it’s pretty standard to have co-authors from different companies, even if they are technically competitors. What is inappropriate about it?

would edit my comment but it's been a few hours

> but it’s pretty standard to have co-authors from different companies

that's only true for papers that are not millenium problem solutions

Re: On the Navier–Stokes Millennium Prize Problem

#775

Post by derangedHorse »

lossolo wrote: post #682
tedsanders wrote: post #624

Earlier quoted context omitted.

If they opted out of training, then we definitely did not train on them. If they did not opt out, then I don't personally know if training signals came from their chats, and I don't think we'd be able to tell without their cooperation in identifying them. And even if signals were trained on in some manner, I highly doubt it made a difference to a problem as challenging as the NS proof. Reasons for my doubt: - I know…

> If they opted out of training, then we definitely did not train on them. Can't you guys just check their account settings so the public knows what was set? EDIT: Why was this downvoted? I'm genuinely asking because I have no idea. Opting out is just a normal setting in the profile, It's not like I'm asking for their private conversations or PII. If I were the person claiming that they trained on my conversations, I…

I don’t think your question is unfair*. They can check and so can Buckmaster. If he didn’t opt out, there’s a good chance his data was used for training. I believe this to be the case myself. What I’m more skeptical about is the purported impact of this data on the model’s behavior.

Re: On the Navier–Stokes Millennium Prize Problem

#776

Post by calf »

tedsanders wrote: post #624
Imnimo wrote: post #254

Earlier quoted context omitted.

>we did not read any private chats The question I am interested in is not "did we read private chats", but "was this new model trained using any of Tristan and Levent's chats, regardless of whether they were marked private". Can you comment on that?

If they opted out of training, then we definitely did not train on them. If they did not opt out, then I don't personally know if training signals came from their chats, and I don't think we'd be able to tell without their cooperation in identifying them. And even if signals were trained on in some manner, I highly doubt it made a difference to a problem as challenging as the NS proof. Reasons for my doubt: - I know…

Your perspective is not helpful until you read and reflect on Tristan's letter stating serious grievances. Your remarks here have minimized his complaints and that is a sign of bias. Do not then pre-accuse HN commenters of being convinced when there reasonable skepticism such biased behavior showing itself in this very thread, saying things that amount to "my tribe/company would never be so egregious and if you think that then it is bad faith". That's the projection. If the word prejudice means anything to you then please do the work of attending to that instead of using the platform to reinforce such biases. If you are not a PhD yourself maybe your are not culturally qualified to assess and expound on the overall situation anyways.

Re: On the Navier–Stokes Millennium Prize Problem

#777

Post by mellosouls »

intenex wrote: post #440

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…

Here you go:

When you read the detail the compute they are throwing at it is incredible, tens of thousands of agents with different groups competing.

It's not like a single Gauss as you imply, "just" many, many mathematicians working tirelessly in a completely ego-less way, guided by other agents and ultimately humans, built - allegedly - on recent human insights.

Stunning, undoubtedly, but this is a "brilliant autistic herd" result, not that of a singular mind.

Re: On the Navier–Stokes Millennium Prize Problem

#778

Post by ImaCake »

trio8453 wrote: post #214
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…

> Do "normies" even know what's happening? No, there are even many non-normies talking about how it's all marketing or try to give balanced take about AI being sometimes a little useful for certain things (but they can do without it anyway).

I am absolutely struggling to sell my workplace (which is entirely knowledge work) on the usefulness of LLMs for proofreading let alone on automation of hairy parts of our workflows. So yeah, even people who should be able to see what is coming are not looking.

Re: On the Navier–Stokes Millennium Prize Problem

#779

Post by kypro »

mewse-hn wrote: post #78

"we cannot rule out that de-identified data derived from their usage of our products helped improve our models ." What a landmine sentence to bury in this report, you can't rule out your models were spying on other researchers?

I think OpenAI are correct that it's worth noting, but realistically any relevant usage data they have and used to improve their models would be very insignificant unless they were deliberately using logs from other researchers and training specifically on it (which they seem to deny).

The fact the proofs differ suggests that the models were not directed to be particularly focused on that avenue of research nor trained to converge in that direction.

I get the scepticism, but I feel some of the accusations here are bad faith.

Re: On the Navier–Stokes Millennium Prize Problem

#780

Post by bananzamba »

raincole wrote: post #86
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…

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

The accusation is that they stole his approach of solving it. If OpenAI didn't bruteforce it with dozens of agents, he would have solved Navier-Stokes eventually since he evidently had the right approach. So knowing which approach to take makes all the difference, if they didn't know the approach they couldn't have solved it.

It's like he had a treasure map and was about to find the treasure, but they copied his treasure map and scooped him with a faster boat and found the treasure first. But he would have found it if it weren't for them.

Post reply on HN