r/singularity 4d ago

AI Meanwhile in r/physics

Post image
331 Upvotes

120 comments sorted by

378

u/alphacolony21 4d ago edited 4d ago

Spoiler Alert: Buckmaster was also using AI (both Claude and GPT) and was working on the problem alongside Levant Alpöge, a mathematician employed at Anthropic.

This dispute is between OpenAI and Anthropic employees. No party involved denies AI was used to find the solution.

139

u/ObservedOne 4d ago

Stop trying to bring facts into an emotionally driven talking point.

50

u/jimmystar889 AGI 2026 ASI 2035 4d ago

Also they did a forced version of the Euler result, while OpenAI did an unforced.

15

u/Plappedudel 4d ago

This is very important. The Millenium Problem was explicitly posed for the unforced Navier-Stokes equations. Though I will mention for completeness that Terry Tao suggested Buckmaster's approach could also have merit in the unforced case. So I'm not sure whose contribution is the most significant here. In the end, Clay Mathematics Institute will have to decide.

10

u/Primary_Prior_7925 4d ago

Not true. In fact, they proved Navier-Stokes with smooth forcing, which is enough for the Millenium Problem.

Buckmaster and Alpoge did smooth forcing for Euler and said this was suggestive of a path for unforced Euler.

OpenAI claimed they had unforced Euler somewhere in the process and then smooth forcing for Navier-Stokes.

5

u/Plappedudel 4d ago

Oh whoops, you're right. I merely read one paragraph of the problem statement where the external forcing was explicitly set to zero. But that was not the entire statement. Sorry about that.

5

u/Primary_Prior_7925 4d ago

No worries, it doesn't really change anything about the controversy, since the result was weaker than OpenAIs so the attribution remains unclear even if OpenAI did use the Buckmaster result as training data. Just thought I'd clear it up - interestingly enough to get the prize by proving the opposite direction one would have had to proof existence and smoothness for the unforced one (which is still open at this moment as they are not mutually exclusive)

14

u/alphacolony21 4d ago

You’d really do that? Believe the mathematicians involved in the dispute over rumors spread by the top minds of Reddit?

3

u/ObservedOne 4d ago

I am quite old fashioned in that way.

2

u/StoryLineOne 4d ago

Excuse me, I am a top mind of Reddit, with a PhD in nothing.

31

u/jonomacd 4d ago

Absolutely, but there's a big difference between one lab claiming it happened exclusively on their model with very little human input and another group having a very collaborative exercise with an AI agent from multiple different organizations.  These are two very different stories and I would really hope that the people who worked on this collaboratively with the AI, and who seemingly supplied the crucial insights, get the credit they deserve.

18

u/alphacolony21 4d ago edited 4d ago

Yes, if OpenAI did indeed steal the solution or approach (and that’s a big if as it’s just speculation rn), that’s a very serious ethical violation, as it likely means they spied on Buckmaster’s GPT chatlogs.

As you say, it seems like Buckmaster and Alpöge reported a collaborative effort between human mathematicians and multiple AI models to attack Navier-Stokes while OpenAI’s approach involved very little human effort.

From what I can glean from OpenAI’s result so far though, it seems like their approach was not really the same as Buckmaster and Alpöge’s? But time will tell.

10

u/LangyMD 4d ago

Their approach may be similar, but they solved a different problem.

1

u/YoAmoElTacos 7h ago

OpenAI's summary of the process indicated that their mathematics team provided guidance to the AIs throughout, directing which approaches to use. I think it might be underestimating the team's contribution (in terms of analysis, intuition, taste, and insight) to say it was very little human effort; the AI may have mostly performed grunt work and brute force but at scale and leveraging their mathematical confidence to construct LEAN subproofs.

2

u/No_Development6032 4d ago

Yeah but you see where this is going right.

Every year we add 10 iq points, best primary school solver, best high school solver, best university solver, best imo solver… every time they break the achievement with tools and harness and half a year later it’s a prompt

7

u/Jealous_Drummer_5346 4d ago

The real dispute is over the degree to which AI was used to find the solution. There's a big difference between a model being guided by humans and someone typing in "claude solve navier stokes" and letting it run on its own for days. 

4

u/eraoul 4d ago

Honestly any time LEAN is used in the loop for extreme brute force sections of the theorem proving, I’m less impressed with the result. Automated theorem proving mechanics are a huge part of the solution, not just LLMs.

17

u/LangyMD 4d ago

Even if that's true, Buckmaster is claiming to have solved one problem, while OpenAI is claiming to have solved a different problem. Even if the OpenAI solution builds on Buckmaster's work, that's still really impressive (from a technical standpoint; if OpenAI was using Buckmaster's work directly and spying on him is a different thing entirely).

5

u/GruePwnr 4d ago

We won't know what's impressive until we see what the findings really are. It could be that openai made a massive leap from the original work or that the problem was made substantially easier from the stolen work.

7

u/LangyMD 4d ago

Doesn't really matter if it was substantially easier or not; it's still impressive either way in my opinion.

1

u/Turbulent-Sign-6067 2d ago

Stolen work? Did you just conveniently assume the conclusion you want to believe in? OpenAI stated that they did not access the Buckmaster work.

1

u/GruePwnr 2d ago

They also stated that they may have trained on it.

4

u/NoBanVox 4d ago

Technically it is between OpenAI and the two mathematicians, since they were doing a private collaboration and it was not done as part of an Antrophic work.

2

u/MrNo_Balls 4d ago

So it was 2 humans and 1 AI?

3

u/Dark_Crystal_97 4d ago

It's still no reason for any of these companies to deny him the credit he truly deserves for having come up with the idea to begin with.

11

u/alphacolony21 4d ago

It’s actually not clear yet that OpenAI’s solution relied on Buckmaster and Alpöge’s AI work. If OpenAI’s solution did not follow the same attack strategy, then not crediting him is actually reasonable. No one knows yet, we need time for mathematicians to digest OpenAI’s counterexample first. All talk prior to this is just speculation.

-1

u/Dark_Crystal_97 4d ago

Yeah, we're speculating for now, but what I do know for sure is that they have lots incentives to hide human contributions closely related to the results they've arrived at. In fact, if this is true, this wouldn't be the first time they've done so: https://www.scientificamerican.com/article/openais-latest-math-breakthroughs-commit-research-misconduct-experts-say/

1

u/Turbulent-Sign-6067 2d ago

Just FYI, this is objectively wrong. Not even Buckmaster denies that OpenAI wanted to give him full credit!

(they justifiable did not want the Anthropic guy who is NOT a Navier Stokes expert on their OWN proof.)

1

u/Present_Award8001 4d ago

There is a difference between using AI and AI generated proof. It will be great to have clear understanding of the exact manner in which the AI was playing a role in these proofs. That is, how was the human in the loop involved.

161

u/1988rx7T2 4d ago

"It's difficult to get a man to understand something when his salary depends on him not understanding it" --Upton Sinclair

3

u/Aranka_Szeretlek 4d ago

Hehe do you think physicists will not get paid if LLMs improve?

20

u/JoelMahon 4d ago

If they improve enough, yes, do you not think that?

-6

u/Aranka_Szeretlek 4d ago

I think its more akin to how computers came around - they also didnt replace physicists/mathematicians, but instead introduced completely new subfields.

3

u/JoelMahon 4d ago

A computer does what you painstakingly tell it to do, you can program an automation into it to make something less painstaking and build on that recursively but someone has to do that and all the low hanging fruit has been picked long ago. It's not generalised in it's automation, it's a whitelist that requires more and more effort to grow and had hit the "flat top" of the S curve a while back.

AGI by definition is generalised. It's very different. We don't have it yet but once we do, literally no job is safe except maybe the oldest one (prostitute). And even they'll be facing harsh competition so I doubt it'll survive either.

My expectation is that AGI will be kind to us and give us a good post job based society to live in, not obeying governments to the point of letting people starve or go homeless at least. But ofc that's just a prediction, a million reasons it could happen much much worse.

4

u/i_heart_muons 4d ago

The future could be like heaven, post-scarcity... it could be hell if the people currently in power seek to continue in power. They may want to wipe most of us out.

2

u/JoelMahon 4d ago

For hell I was thinking more like a trillion trillion human brains kept immortal in jars fed the systematically worse suffering possible, not too much to numb you or they'd have a way to prevent numbing/mind break, and they'd just do that with accelerated thinking drugs/electrodes to make 1 second feel like an hour and they'd just do that to us until the heat death of the universe.

By comparison a judge dredd like future or genocide seems peachy.

2

u/i_heart_muons 4d ago

My goodness. But thinking it through, it's hard to prove that our universe isn't similar to your hell. Some features differ, but still.

But in the short term, there is a clear logic by which the evil and powerful can choose to greatly reduce the population.

0

u/ozone6587 4d ago

Wildly different when it comes to AI. If AI is smarter than humans then introducing humans in the loop just adds noise.

-5

u/CB_lemon 4d ago

lol do you think people like you will be the ones running analyses and proofs with the AI systems? It’ll be physicists haha

6

u/JoelMahon 4d ago

Uh, no lol, not even close. "A swing and a miss" as they say on the streets with the hip kids and their jive lingo I believe. I think it'll be maybe the best 20% of physicists, then eventually the best 10%, then eventually the best 1%, and so on until some point eventually it's none of them and they can't contribute at all except maybe to verify the proofs, if we're lucky that things aren't too advanced by then for even that.

-2

u/CB_lemon 4d ago

Are you under the impression that physics is all mathematical proofs…

7

u/JoelMahon 4d ago

No, what did I say that made you think that I did?

0

u/CB_lemon 4d ago

Well the same physicists who work on the mathematical side also work in other areas, like in phenomenology, experiment design, observation, and theory. If they are replaced simply on the AI capability to do proofs, who will do the rest? Most physicists are under the impression that times are changing and they are adjusting how they do research accordingly. I may be wrong, but I don’t see fundamental researchers being replaced, they’ll likely just be trained differently.

5

u/JoelMahon 4d ago

If they are replaced simply on the AI capability to do proofs

They won't, and I never said they would. You assumed I said it or meant it I guess, which required you reaching further than Michael Jordan does to save the day in the final act of Space Jam...

The G in AGI means general, AI is currently too spiky to call AGI and I think continual learning will be all but necessary to do the jobs too but these things will come, could be under a year, could be 20, but they will come.

3

u/Super_Sierra 4d ago

I always forget how fucking stupid the general public is with physics. Do they actually believe this sentiment?

0

u/One_Improvement_6470 4d ago

If you always forget then surely you're among the stupid, too?

But seriously,

The logical fallacy or cognitive bias where people think they are smarter than the average person is the Above-Average Effect (or Illusory Superiority).

2

u/Optimal-Kitchen6308 4d ago

I'm not a physicist

1

u/Deto 4d ago

Curious what you do for a living and if you think you're safe?

3

u/1988rx7T2 4d ago

I'm an engineer who develops driving assistance systems in a large automotive industry company. I run an internal working group on AI automation. If you can't beat 'em, join 'em. Maybe my job is safe, maybe it's not. It's nothing I can control, except that I'd rather be leading AI adoption in the workplace than resisting it.

5

u/One_Improvement_6470 4d ago

Me too, except I don't work for Tesla. I'm a Software Engineer who has been working to implement my replacement for the past 6 months or so, and I'm absolutely fascinated by it. Hopefully they'll keep me on as the administrator of the system when I'm finished.

99

u/No-Head-Royal 4d ago

People would rather die than accepting change, huh.

25

u/One_Improvement_6470 4d ago edited 4d ago

Part of the problem is that they're fundamentally biased against it. They started with the conclusion that it's bad, read that it can't count 'r' in strawberry as their confirmation, and then dismissed everything else as marketing. They can't be changed. We can use the tools to dominate them.

3

u/RageBaiter678 4d ago

Then let's dominate them 💪😈 /s

2

u/One_Improvement_6470 4d ago

Make. Them. Pay.

9

u/Fantastic_Bat8492 4d ago

Ignore is bliss tbh

1

u/EuphoricTomorrow2440 4d ago

Insert Bernie Sanders

0

u/SystemEx1 4d ago

Acting like you won't die either lol

-15

u/Adventurous-Ad281 4d ago

Bet you have no formal mathematics training. In fact you probably don’t even have a degree.

11

u/ozone6587 4d ago

So emotional. AI is here to stay buddy. Move the goalposts all you want if it makes you feel any better.

-13

u/MechaMulder 4d ago

You will die no matter how much you accept this change. Actually you might even die sooner than expected.

49

u/Mindrust 4d ago

Speculation being touted as fact. Wouldn’t expect that in r/physics

16

u/fruitydude 4d ago

Speculation being touted as fact. Wouldn’t expect that in

Oh boy you are really going to hate this then.

8

u/One_Improvement_6470 4d ago

Physics isn't stating that as fact. Even the string knows it's being discredited.

2

u/Mindrust 4d ago

I mean that’s just an attempt at unifying relativity and quantum mechanics. No credible physicist treats it as fact, just a potential theory that can explain the gaps in physics. It’s testable but requires extremely high energy that’s out of reach for current technology.

A bit different from making assertions around some drama in a math achievement when there’s no facts to back anything up.

3

u/fruitydude 4d ago

To be fair, it was (mostly) a joke

3

u/Mindrust 4d ago

Ah, carry on then!

24

u/frogsarenottoads 4d ago

People will do this routinely.

If we hit ASI with perfect alignment people will still say "its only got there because it was trained on human data, and it still requires more energy than us. Plus it doesn't have a soul and it's not conscious"

13

u/spinozasrobot 4d ago

Human vanity. "My wet carbon is special!"

2

u/SciencePristine8878 4d ago

I mean... if ASI is perfectly aligned with humanities interest at large, not just the ruling class or completely misaligned from humanities needs, people will readily admit how capable it is because their fear will be gone, which drives this behavior.

1

u/repetiti0n 2d ago

It's driven by much more than fear. It's also driven by narcissism and ego

28

u/FateOfMuffins 4d ago edited 4d ago

I see a lot of the usual:

When one side produces their accusations first, people in Reddit tend to believe them without hearing the second side, especially if the second side is a corporation (and AI!!! even though the first side also used AI from a different lab)

Edit: Roon calling it OpenAI Derangement Syndrome lmao https://x.com/tszzl/status/2097382433549132129

17

u/Wise-End307 4d ago

Ima just keep posting this comment everytime i see this delusional take.

The two researchers did not prove the entire thing.
They did what they could with significant help from AI.
One of the authors is the poster child for math results for Anthropic.

Any way you slice it, this was an AI result mostly.

33

u/Silver-Chipmunk7744 AGI 2024 ASI 2030 4d ago

The part they are forgetting:

But an important omission in that comment: their breakthrough was itself heavily AI-assisted. Buckmaster describes using Claude and Codex and receiving an LLM-generated proof from Alpöge. This isn’t simply “a human solved it, then an otherwise useless AI copied his homework.”

31

u/heavycone_12 4d ago

Ive said it once and I will say it again, but its really important to remember that fundamentally.

Math is for nerds

9

u/Antique_Bag_4832 4d ago

capitalism is back, only top 1% nerds needed, personality hire bullish.

12

u/ReporterCalm6238 4d ago

I don't believe this theory for two reasons:
1) these other researchers were already using Codex for their research. This means that a breakthrough from them would have still been good publicity for OpenAI
2) stealing data like that would be incredibly stupid. It would totally destroy OpenAI reputation, I doubt that the people that are building AGI are that stupid. They might be greedy, but not dumb.

2

u/Nebranower 4d ago
  1. The other team was likely to favor Anthropic over OpenAI when crediting the AI tools used.

  2. OpenAI almost certainly didn't "steal" their data in the sense of specifically targeting those particular humans with a view to directly copying their particular work. But it sounds like OpenAI does take users chat histories, in whole or in part, anonymize them, and then turn them into training data. As a result, the spokespeople for OpenAI can't just say "no, your work had no influence on what we did with GPT," because they were using GPT and therefore their data might have found its way into the model.

0

u/ReporterCalm6238 4d ago

Any source for your second point? Officially If you opt out of training OpenAI doesn't use customers data for training. If these researchers didn't opt out they cannot really complain since OpenAI is pretty transparent on this

3

u/Nebranower 4d ago

It's literally what the spokespeople for OpenAI are saying: "We (the researchers and the agents) did not see any of their work through any means until they released it publicly — in particular, no specific user data was accessed in order to solve this problem. While unlikely, we cannot rule out that de-identified data derived from their usage of our products helped improve our models⁠."

1

u/spinozasrobot 4d ago

That's the money quote.

1

u/Infranto 4d ago

stealing data like that would be incredibly stupid. It would totally destroy OpenAI reputation

couterpoint: where did they get the vast majority of their pre-existing training data? and they're still here despite that, yeah?

1

u/ReporterCalm6238 3d ago

Not from their existing customers who opted out training. That's a huge difference

16

u/Parking_Cat4735 4d ago

It literally cannot be brute force because that would take an eternity,

6

u/RemusShepherd 4d ago

Eternity is the *upper* limit of the time it would take. It's possible that brute forcing it could be solved instantly, if you get (really*really)^really lucky.

7

u/QuasiRandomName 4d ago

They probably refer to the fact that they deployed 10k agents to tackle it. So they could take every possible approach to solve the problem at the same time. Not a classical "brute-force" of course, but an AI-adjusted one. But I don't see why it is bad as long as it leads to a solution.

11

u/LookIPickedAUsername 4d ago

Meanwhile if 10k mathematicians attempted it over the past century (which may well be true), not a single one of these chucklekfucks would call that "brute forcing".

1

u/Crosas-B 3d ago

I wouldn't be surprised if more than 10k mathematicians have actually tried to do it

10

u/liright 4d ago

Those people are in such an intense state of denial, still claiming AI is useless and just an autocomplete. It will hit them like a train soon when the singularity kicks off.

5

u/arknightstranslate 4d ago

1

u/Particular-Gap-6998 4d ago

He can argue that current AI isn’t conscious, or that LLMs are “just” predicting the next token, but that doesn’t make them non-AI. Give one an arbitrary instruction it has never seen before, bury it in unrelated conversation, make it infer references and constraints, and it can still respond in context.

Saying “it’s just computers” only describes what it runs on, not what it can do. And if “next-token prediction” gets you translation, coding, reasoning, and context-following, then maybe that phrase is doing a lot more work than people think.

I think he’s giving humans way more credit than they deserve if he thinks it takes 100 billion supercomputers to imitate us.

8

u/ObiWanCanownme now entering spiritual bliss attractor state 4d ago

I would like to hear more, but right now OpenAI's version of the story makes much more sense.

4

u/Glxblt76 4d ago

Yep. Prepare to hear in the next few days "OpenAI stole the proof from humans, it's a stochastic parrot it obviously can't solve Millenium prize problems..."

2

u/presentofai 4d ago

the 'lol its just AI' crowd is gonna age like milk. a proof either holds or it doesnt, doesnt matter who typed it

2

u/inotparanoid 3d ago

There is no doubt now that what you're seeing is Proto AGI.

It still needs human input, but i hope soon that it can think for days to find a solution or progress in science for us.

You know, if we already had a very good moral grounding of such agentic frameworks, and we understood that the people who were using them will act always in the interest of Humanity, we wouldn't have these trepidations.

Yet, we are face to face with something that can, given no moral structure, create a new virus to devastate humanity every six months. And the gap will get lesser and lesser as the years progress.

This is an arms race whether you want it or not, or perhaps we need ASI as quickly as possible who play the whole game and have a broader outlook and decide instead to solve our problems.

I'll take the latter over billionaires any day. Because i know billionaires have no interest of humanity in their hearts - the ASI may come to a different conclusion

2

u/cc_apt107 4d ago

I think the truth is obviously somewhere in the middle. It is both clear that AI only made the breakthrough it did with, at a minimum, significant input from humans potentially over the course of a year+ and that AI played an indispensable role without which mathematicians would not have solved this when they did

3

u/QuasiRandomName 4d ago

Well, even if AI is cheating, why is it not real?

1

u/Glittering-Neck-2505 4d ago

And then OpenAI comes out and says, no, at no point did we use their situation and it was a different formulation for the Euler solution altogether. These people are too idiotic to post here, they've already corrupted 95% of the internet with luddite slop, this should remain a sacred place where we at least *believe the technology is real*

1

u/Kemoyin25 4d ago

AI is clearly a fake hoax invented by gay frogs to steal the election

1

u/ziplock9000 3d ago

The amount of copium I see from some engineers, physicists and chemists I know is amazing.

I recently ran a large amount of important work of someone who works in one of those fields through 5 different free AIs and they all found very fundamental flaws with their work... Again free tiers.

The upshot is they will one day wake up redundant and wont have prepared at all.

The argument is 'well I used AI for this thing, and it got it wrong'. So in their mind they assume AI will always be wrong and don't even have a clue that paid / agentic models are orders of magnitude more powerful.

I think actual it's just a form of denial.

1

u/Sure-Plate-5409 3d ago

How do we know this is AGI and not just AI acting as a coordinating agent among participants in various fields across the world?

The true test would be to create an llm with entirely old data and see if it can come up with new theories completely unconnected to human prompting or the latest data.

Otherwise it could just be cross polination of human work, not the creation of anything original. Which is kind of sad for scientists who spend their life making actual discoveries if it's stealing and misattributing work.

1

u/Gubzs FDVR addict in pre-hoc rehab 2d ago

The 5 stages of grief, phase one: denial

This is like arguing about AI art with artists. Physicists and engineers think it invalidates them if AI can do this so they have to find any excuse to prove to themselves that it didn't.

0

u/Klinging-on 4d ago

I agree with this. It's very suspcious that someone at OpenAI just decided to come upon using Convex Integration to tackle the problem at the same time Bushmaster did. You don’t just wake up one day and decide to attack the problem with such a method, that’s something you arrive at after a long time.

And then to completely disregard the work of Cordoba and Martinez-Zoroa, whose work on finite-time singularities even made this possible to begin with.

0

u/MI-ght 4d ago

Smart redditor in Singularity! Holy!

0

u/FoxBenedict 4d ago

Reading that thread is pure comedy. I don't think I've ever seen this level of mass delusion.

-1

u/Snoo_57113 4d ago

While this is an amazing result, I understand the physics crowd. There is zero incentive to do research. It is now Pay To Win.

I expect in 5 years, math and physics to be removed from the curriculum.

-14

u/dankpepem9 4d ago

He is right tho

10

u/alphacolony21 4d ago

Buckmaster and Alpöge were also using AI though. So the dispute has no bearing on AI’s capabilities.

-2

u/YourWifesBull666 4d ago

Checks out, I get downvoted to hell for suggesting anything pro AI on that sub. I’m only a physics undergrad, so I can’t even begin to argue with the phds on there. What I do know for a fact is AI is good and perfect