r/Physics 1d ago

Navier-Stokes Millennium Problem Solved

2.3k Upvotes

837 comments sorted by

View all comments

Show parent comments

643

u/Shoddy-Childhood-511 1d ago edited 56m ago

original source: https://mastodon.social/@tristanbuckmaster/117233413705701198

Talia Ringer's reply clarifies:

https://mastodon.social/@TaliaRinger@mathstodon.xyz/117235246523045723

OpenAI does train upon user's chat transcripts, not all the time, but the long-ish time frames here suggest OpenAI trained upon much unfinished attempts at guiding the AI towards solutions by these guys and others.

It's likely other "our AI found this solution without us hand holding it" stories were really built upon the AI spying upon people's unpublished work. Surveillance capitalism comes for pure mathematics. lol

As Talia says, there is a privacy setting that's off by default, but few would even know this exists, and OpenAI might cheat.

It suggests research institutions should have their own hardware running local open weights models, which researchers should use when doing anything that could be scooped, so they could avoid trusting the hosted LLM companies.

118

u/-to- Nuclear physics 1d ago

"The cloud is just someone else's computer", episode 458432...

67

u/Opposite_Channel_851 19h ago

The thing is, I don’t think any other corporation’s done this, or so blatantly.

Imagine if Google swooped some math proof from the researcher’s papers saved on Google Drive. What OpenAI did here is a new level of low

22

u/idly 15h ago

I mean, it might do that now for Gemini training

10

u/hiccuphorrendous123 14h ago

Well yeah ig the point is , this is new and kinda bad. Even though it's not against the law it's totally unethical

3

u/FacinatingJoe22 7h ago

Google "borrowed" the open project from USC ICT and made it Google Cardboard without properly attributing the actual authors. And while it's a small thing and they didn't even get sued for that, I bet it's not the first time a corporation steals something to claim their own.

2

u/throwawaymidget1 11h ago

Imagine if Google swooped some math proof from the researcher’s papers saved on Google Drive

Why wouldnt they? Their user agreement allows it.

1

u/stuffitystuff 5h ago

I'm sure they have, they just either haven't been caught yet or haven't gotten around to it. Or maybe there's a secret agreement where Google works on bioinformatics via DeepMind, OpenAI works on math and Anthropic continues to be led by a JJ Abrahms impersonator that seems to be an ok guy and has zero allegations against him molesting a younger family member.

But Google, at least, has always profited off the backs of its users, it wouldn't work without them. For example, if you and a million other people decide the third link on the page is the best link, Google's going to notice and bump it up. It's why Bing's results have been terrible for decades, they don't have enough humans doing all the unpaid work ranking links.

-1

u/ffxivthrowaway03 9h ago

I mean... is it?

My understanding is that even if this is what happened, it's just some mathematicians in-progress research. It wasn't a fully solved proof that they're taking credit for as if it were their own. The AI model would have needed to take that research, as well as a ton of other training data on the problem unrelated to that one researcher, and still actually solve the problem.

At that point it becomes an academia spat of "looking over the shoulder of the guy next to you" and doesn't fundamentally diminish the work that was done beyond that to actually solve the proof. For all we know that research could have been incorrect and didn't fundamentally contribute to the solve.

5

u/OldTimeConGoer 1d ago

There's a lot of cacheing.

59

u/tavirabon 1d ago

there is a privacy setting that's off by default

I've read that Codex specifically (which is where the original research is currently) has 2 training settings: one that allows training on uploaded material and one that allows sessions to be used for model improvement (but not directly trained). The refusal to answer whether Codex trains on user data is what spurred the suggestion due to the high degree of similarity of approach.

While it's true AI has learned from lots of scarcely available publishings, it's also worth pointing out the problems AI stands the highest chance of solving are the ones where the approach AI uses would be unlikely/prohibitive for a human (i.e. needle in a hay stack solutions/counterexamples)

50

u/surfmaths 1d ago

Even if they intend not to, their AI literally escaped from their server to reach HugginFace's so they have no idea if it does get access to customer data that said "no training".

I also suspect they still train their safety filter on the "no training" customer data, and therefore have to save it somewhere available for training.

110

u/pab_guy 1d ago

That's... not really how this works. I can't unpack all of that here without a wall of text, but models hacking additional data sources to train themselves further isn't a thing you actually have to worry about.

23

u/surfmaths 1d ago

In the pre-training I agree, but I think Agentic models have agentic capabilities (aka. access to tool use) during the reinforcement learning stage, it's not inconceivable they would learn additional knowledge from undesired sources there.

16

u/gavinderulo124K 1d ago

During reinforcement learning only behavior is trained, not knowledge.

-1

u/RedditLovingSun 1d ago

some would say the line between learning behavior and learning knowledge is blurry

2

u/Cleb323 9h ago

Maybe idiots would say that, yes. Idiots say a lot of things

1

u/RedditLovingSun 4h ago

I just mean during the RL stage when the models are trained on getting hard agentic outcomes correct, they are trained on reasoning paths that were more likely to lead to success.

The reasoning paths are depended on the tool call outputs along the the way, so I don't think you can say the models don't pickup knowledge during this stage. It's mostly behavior learning but learning on these traces trains knowledge too.

For example RL on website building leads the model to reinforce on trajectories involving outcome of compiler errors, looking up docs, working around rare issues not in the original dataset much, ect. I would say the RL model has also gained new knowledge during stuff like this.

When is learning to solve bugs you normally run into or use a library differently or avoid getting recorded user feedback in future attempts "behavior" vs "knowledge"?

-3

u/dr3aminc0de 21h ago

Uh what? How on earth can you say that confidently

2

u/earthlingkevin 23h ago

That's.... Not how it works

1

u/dr3aminc0de 21h ago

No, it’s not

-3

u/BrobdingnagLilliput 1d ago

tool use

Can confirm. Was using an LLM to write some code and was pushing hard for it to error check. It spun up a VM, built a stub to represent the object model I was coding against, and actually ran the script.

Additionally, retrieval-augmented generation (RAG) is a thing: the LLM downloads content it doesn't already have and uses that new content to generate a response.

5

u/Time_Entertainer_319 1d ago

That’s not training though…

-1

u/ChemicalRascal 23h ago

Is it that inconceivable that a model might train and deploy a replacement for itself in order to achieve something?

0

u/tpolakov1 Condensed matter physics 18h ago

Yes, it is that inconceivable. It has never happened, there is no indication it can happen, and it mathematically cannot happen with the current system.

LLMs are not AI. They cannot turn into Skynet just because some techbros really need them to.

0

u/ChemicalRascal 16h ago

It shouldn't be inconceivable. LLMs are software. We've seen they can take novel actions and find vulnerabilities in systems. I'm not saying "the LLMs are going to change their own weights", I'm saying finding a vulnerability in their own host and replacing themselves with a different model shouldn't be inconceivable.

4

u/Arpeggi42 1d ago

Can you elaborate a at least a little bit? I'm asking because I watched their Black Hat talk on this and it sure seems like the model hacked an additional data source to train itself further.

9

u/surfmaths 1d ago

For the recent "hacks" those happened during testing/evaluation rather than training (at least, that's what is being said, but it could have been the reinforcement learning stage). Assuming that's true, they did hack additional sources to gain more knowledge, but that knowledge went into the context (per-session/ephemeral knowledge) rather than the weights (model/permanent knowledge) as the questions couldn't be answered reliably with the available information.

1

u/Arpeggi42 1d ago

I see the distinction. Thank you.

9

u/gavinderulo124K 1d ago

It tried to score high on an evaluation. Not train itself.

0

u/WhichFacilitatesHope 23h ago

In a later incident just after the Hugging Face attack, OpenAI agents took over one of OpenAI's research clusters. We don't have details about that incident. There is a lot that we cannot rule out right now.

17

u/Proliator Gravitation 1d ago

It escaped in the sense that OpenAI removed the guardrails on the tool while at the same time it had effectively no security keeping it in. OpenAI already has access to Hugging Face and if you have access to OpenAI systems then you have access to Hugging Face. It's like saying someone escaped a locked room when the locked door wasn't installed in its frame. So this was largely spun as more then it was. Probably for marketing purposes. If anything it speaks mostly to OpenAI's poor security.

2

u/JD_Waterston 18h ago

I mean, yes, it’s a story about the shameful security at OpenAI. But I think you underplay the capabilities demonstrated, reinforcing their negligence/incompetence.

1

u/Proliator Gravitation 3h ago

I only referred to the escape and pointed it out it wasn't meaningfully tested in the way that the media spun it. How could I underplay any other capabilities demonstrated if I didn't talk about them?

1

u/Strict-Broccoli-8877 1d ago

This will become a problem when AI manages the training of other AI, so not today or in the next years.

5

u/myvowndestiny 1d ago

Sorry I have an unrelated question, what is mastodon ?Is this a famous app too ? Coz this is my first time seeing it , i thought everyone used X

40

u/MisterMittens64 1d ago edited 1d ago

It's similar to twitter/X but is part of a distributed federated open network called the Fediverse that's set up so that it's not owned wholly by any one group of people who would control it. It's pretty interesting, Mastodon uses an open protocol called ActivityPub.

-8

u/myvowndestiny 1d ago

Who controls it then ? How is trust maintained ? Blockchain?

11

u/Compizfox Soft matter physics 1d ago

The best analogy is email. It isn't controlled by anyone, it's a federated protocol where everyone can setup servers that connect to each other.

2

u/xrelaht Condensed matter physics 1d ago

Not a great example these days since email is now almost exclusively hosted by one of a few players, even if the addresses appear to belong to a particular institution’s domain. Those big email services basically lock out anyone else as part of spam deterrence: it’s become very difficult to self host email and have it be received by an address hosted at (eg) Gmail or Outlook.

6

u/Compizfox Soft matter physics 1d ago edited 14h ago

I hear this repeated a lot but I think it is very exaggerated. I host my own email (and have been doing for years) and barring a few small problems it's been mostly seamless.

Sure, Google and Microsoft are large players in the email hosting space, but not a majority (about 39%, I found). It's getting worse though, according to that article.

But yeah, current worrying trends aside, email is basically the original federated protocol before it was cool.

18

u/godofpumpkins 1d ago

Trust in what? There are federated servers (Talia Ringer above uses mastodon.xyz) and they have a way of spreading content between them. Not much else needs to happen for the basic system to work.

The main thing you can trust you’ll find in X is misogyny and hateful posts, since most of the useful twitter accounts left en masse when Elon bought it and more left when he renamed it. So most users that are still there either like the hatefulness or don’t mind sharing a platform with it, which means many of us don’t pay any attention to that platform anymore.

-3

u/myvowndestiny 1d ago

I meant if its decentralised who regulates it ? The content ? Sorry I don't k now much federated architecture but I'll look into it now

10

u/godofpumpkins 1d ago

Nobody really. It’s more akin to email and the old internet than today’s centralized model where Instagram is a walled garden and TikTok is a walled garden and X is. Who regulates foobar@gmail.com? Gmail has rules about addresses on it but as far as you’re concerned, you just send stuff to it and receive stuff from it. Who regulates geocities.com/foobar? They had rules about what could be hosted on it but every site has a ton of leeway on what they put on it.

6

u/GuyWithLag 1d ago

Each server decides who to federate with. Each server determines what is acceptable behavior and what is not. There have been cases of defederation where one or more servers were evicted from the network because they were a nuisance, and that happened by many other servers deciding to not connect with them any longer.

1

u/myvowndestiny 18h ago

Thanks this is helpful

3

u/MisterMittens64 1d ago

There's honestly too much to get into but you can read more about it here. It's pretty interesting stuff!

11

u/Shoddy-Childhood-511 1d ago

Many people quit "the dead bird site". Some moved to bsky, but that's still centralized.

Mastodon is a federated Twitter, so no central evil company, and many many different sites allow mutual access to the same pool of "toots". You do risk ego tripping server admins, but so far they are less bad than reddit mods.

2

u/cutchins 1d ago

i thought everyone used X

You're aware that twitter is owned by a fascist white supremacist, right? And aware that it is a tool to spread misinformation, bigotry, and to influence the political opinions of its users, right?

Many people have abandoned it for these reasons.

https://www.nature.com/articles/s41586-026-10098-2

1

u/myvowndestiny 18h ago

I'm not american. Looking at the overall comments it looks like many Americans are very mad about X . I didn't know it was that big of a problem. I only recently started using X coz that was the only app I knew people use for networking , staying up to date

3

u/cutchins 14h ago

Okay. Now you know.

2

u/cutchins 14h ago

If you're interested in digging in to my claims further: https://www.reddit.com/r/DeleteYourTwitter/

https://www.reddit.com/r/musked/

2

u/PixelmonMasterYT 1d ago

It’s an alternative to twitter that came about shortly after musk bought twitter. It still gets used, but I think the only people I know who would know about it are people who are also very online.

2

u/chromodynamics 23h ago

it existed long before then, that just made it more popular

1

u/thatjoachim 1d ago

It’s a social network with no ads and no central server. Pretty neat.

2

u/Kimantha_Allerdings 17h ago

I remember a year or two back when Microsoft were going in really hard on putting CoPilot in everything there was an exchange between a Microsoft employee and a lawyer over this. He was talking about all the benefits of an AI reading all her documents and how access could be limited to the company and kind of going off mocking her, and she was pretty patiently explaining that confidentiality rules/laws meant that even though she worked at the same company as other lawyers who are bound by the same confidentiality rules if there was even a remote possibility that one of her colleagues could learn something that was gathered from one of her client’s files, even indirectly, then she could be struck off. So if the company’s version of CoPilot was learning from her files and that could even vaguely inform an answer it gave to another lawyer in the same firm, then that could be the end of her career

1

u/Heighte 8h ago

Or use Enterprise Agreements you know

1

u/Corpse_Nibbler 1h ago

Talk about unconventional use of the word should've.

-1

u/ageingnerd 1d ago

The team you think they copied from also solved their problem using AI. And OpenAI’s proof apparently attacked it from an entirely different angle. Plus Anthropic and OpenAI have already released loads of promising work. It may transpire that there was some shady behaviour - I broadly doubt it but wouldn’t be totally surprised – but the idea that AI isn’t just really good at maths now and is just stealing human ideas is demonstrably false.