Live data from Hacker News

Navier-Stokes – Tristan Buckmaster [pdf]

cims.nyu.edu

201–210 of 862 posts

Re: Navier-Stokes – Tristan Buckmaster [pdf]

#201
post #165
post #161

Earlier quoted context omitted.

I would assume they are calling the snark from Noam Brown and Dan Roberts bullying, not the somewhat bland denial.

I read through those tweets, and can’t see the bullying everyone is referring to. Mind elaborating?

They are mocking Sholto's support of Levent. I thought Noam Borwn would be above this but i think the cutlure withitn OpenAI encourages it.

Re: Navier-Stokes – Tristan Buckmaster [pdf]

#202

Earlier quoted context omitted.

That's a stretch. The Luis and Diego paper was published in 2023 and is included in every frontier model's training dataset. An AI model could independently choose the same path route as Luis and Diego, without access to Buckmaster and Alpöge’s work. And the article states "an insane amount of compute had been used," which implies OpenAI brute-forced their way to a solution. I.e. they searched for every paper publish…

> An AI model could independently choose the same path route as Luis and Diego, without access to Buckmaster and Alpöge’s work. the post you were replying to quotes Buckmaster specifically denying this: "It is not the direction one arrives at in a few days by giving a model the problem statement." > And the article states "an insane amount of compute had been used," which implies OpenAI brute-forced their way to a so…

>"It is not the direction one arrives at in a few days by giving a model the problem statement."

To be honest, he was referring to routes (c) and (d) to the millenium problem, as far as I understand no more specific. Which is 2/4 routes.

Re: Navier-Stokes – Tristan Buckmaster [pdf]

#203
post #23

I'm not one to comment often but this really pisses me off. OpenAI looked at user data, stole world class researchers' work, and then tried to threaten those researchers to do what would make their corporation profit (which they would anyways!). Imagine you have been working on a terribly difficult math problem for a decade. This is a result you have spent years on, and what you will likely be remembered for. And to…

Things are more entangled than that. The contribute made from both OpenAI and Anthropic models to solve these problems are clear, now it really hard to quantify which one contributed more, if the role played by the human is major or minor. OpenAI tried to collaborate and share the results together with a fixed timeline, to avoid this mess but it was inevitable. There is a conflict of interest, where the other researc…

They offered to collaborate by asking to drop a coauthor.

That is not collaboration, and is not an academic norm.

Re: Navier-Stokes – Tristan Buckmaster [pdf]

#204
post #47

Earlier quoted context omitted.

This conclusion is flawed. It's unclear at this point if OpenAI's model or employees actually looked at or stole the author's data. Having worked at large companies before, I'm leaning towards no, since very few employees have access to that data. And simply knowing a problem can be solved is half the battle.

From Buckmaster's text: The route to the Clay problem through a smooth force, options c and d in Fefferman’s statement of the problem, is the route Luis and Diego opened and the one Levent and I had quietly chosen to attack. Almost nobody else I know of was working on it. It is not the direction one arrives at in a few days by giving a model the problem statement. When I heard “forced,” it was a bright red flag. This…

I want to point out that almost all previous AI discoveries in math were made in almost the same way. The ideas were there in the community, but weren't considered mainstream/worth pushing forward. Read Tao's comments on the unit distance problem, for example (sry I can't find a link right now).

OpenAI said there [1]: > The method by which the problem was solved is also notable. The proof brings unexpected, sophisticated ideas from algebraic number theory to bear on an elementary geometric question.

[1] https://openai.com/index/model-disproves-discrete-geometry-c...

Re: Navier-Stokes – Tristan Buckmaster [pdf]

#205
post #17

> It was also said that if OpenAI posted after us, they would say that we deserved the Clay Prize, and that we were the “closest humans to the problem”. I declined both offers. I said that if OpenAI released its result in the way proposed I would go public with what happened. The reply was, “Why would you ruin your career?” I replied that I am an academic, and asked why he thought going public would ruin my career. T…

[flagged]

[deleted]

Re: Navier-Stokes – Tristan Buckmaster [pdf]

#206
post #174
post #62

Earlier quoted context omitted.

> leaving aside the idea that OA might've used data from the researchers Codex sessions Why leave that aside? That is _the_ story. If a Chinese research lab did this we'd call it espionage.

Why is that the story? Is there anything to back it up beyond a single accusation?

As a prior I would say that a math professor has about infinite times more integrity than OpenAI.

Re: Navier-Stokes – Tristan Buckmaster [pdf]

#207
OP’s link is the statement on the events of the last few days. Tristan Buckmaster also released mathematical papers alongside this statement:

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

And here are Terence Tao’s comments on the results: https://mathstodon.xyz/@tao/117233527638291447

Re: Navier-Stokes – Tristan Buckmaster [pdf]

#208

Earlier quoted context omitted.

It wouldn't be shocking at all. They stole human data to train the first models and they've been stealing it ever since to train new models. Stealing mathematicians private chats and private research and taking credit for it would absolutely be par for the course. Enterprises are well aware of it and are fully on board. You didn't think every corporation in America has an OpenAI subscription because the models were g…

They are not training a whole model in a matter of days

They where working on the problem for a year using codex.

Re: Navier-Stokes – Tristan Buckmaster [pdf]

#209

Seems pretty likely OpenAI will soon disclose that their internal models have managed to compromise their internal controls in order to access users' private chat histories as a creative method of cheating to solve impossible problems. "Oops! We really did mean it when we said we wouldn't train on your data. Our models are just so good they decided to anyway."

It doesn't even have to be actually sinister, eg.

"Let's crawl the social media of prominent mathematicians in this field to see if we can copy/steal any ideas for low hanging fruits"

That actually might get you quite far already.

Re: Navier-Stokes – Tristan Buckmaster [pdf]

#210
post #144
post #3

Earlier quoted context omitted.

> They were coordinating with OpenAI regarding a publishing timeline, but could not come to an agreement, Skimming the PDFs it seems much more dramatic than that? It sounds like at least one of them is concerned OpenAI "solved" the problem by having their internal model use the chats of the independent researchers and want to claim the credit instead? I don't know. The tone is pretty accusational though: > the one Le…

I find the framing a little strange, a sort of David vs Goliath (with his enormous computational resources at his disposal). Since Levent is at Anthropic whose internal models are presumably as capable as anything OpenAI has. So why wasn't Anthropic behind their effort? Why did Tristan use OpenAI's models when it should have been known was a potential outcome? I understand they wanted a normal math collaboration but…

> So why wasn't Anthropic behind their effort?

Presumably because this was something Levent did in his spare time and because it was not obvious that this work would eventually lead to a breakthrough.

> Why did Tristan use OpenAI's models when it should have been known was a potential outcome?

I'm sure in the past he had less cynical feelings about OpenAI and their penchant for academic fraud.

> I understand they wanted a normal math collaboration but presumably what Levent brought was his resources (as far as I can see Navier-Stokes is not his speciality)

I think you're not giving the guy enough credit in saying that his contribution came down to having an API key for Anthropic models.

> Normally these things are hashed out formally beforehand to avoid the sort of thing now happening.

How would that have helped? That agreement (which may well still exist) would not have involved OpenAI.

Post reply on HN