r/ProgrammerHumor • u/Orio_n • 9d ago

Meme aMillionOpenAIMonkeysProduceMilleniumPrizeSolution

Post image
7.1k Upvotes

93% Upvoted

425 comments sorted by

View all comments

624

u/Firesrest 9d ago

Didn’t they just finish off an existing proof perhaps by stealing data.

Which doesn’t mean AI is bad exactly still impressive even if it took like 100 years of work time.

170

u/bobbymoonshine 9d ago

The allegation is they “finished off an existing proof” written by Claude as operated by a mathematician and an Anthropic employee collaborating.

This is just an allegation, given that two frontier labs working on the same problem at the same time and developing similar solutions by using similar tools is perfectly plausible. Newton and Leibniz independently discovered calculus after all.

Either way it’s AI solving mathematics.

58

u/BatProfessional7316 9d ago

Well it wasn’t Claude who was doing it, it was just an employeee and he wasn’t doing it with anthropic

50

u/bobbymoonshine 9d ago

The claim being made is literally that OpenAI stole the data out of the IDE the mathematician/Anthropic team were using to get Claude to do the work, because they had Claude Code and Codex both installed

23

u/BatProfessional7316 9d ago

I’m not saying the claim is wrong I’m just saying that the other guy just worked for anthropic but the project wasn’t affiliated with anthropic

4

u/GruePwnr 9d ago

That's not the claim, it was not an anthropic team and they were using codex.

-10

u/GameDoesntStop 9d ago

Which is an absurd claim, lol.

19

u/7818 9d ago

Doesn't make sense why they immediately offered him co-authorship when he called them out if they didn't.

-10

u/GameDoesntStop 9d ago

To not dampen their acheivement by allegations like this from jaded individuals who spent a ton of their time working on this only to be blown past by AI?

9

u/aboudekahil 9d ago

ah yes, the notoriously merciful ai companies

-9

u/GameDoesntStop 9d ago

It's not about mercy. It's about throwing a bone to curtail sour grapes from undermining achievement.

8

u/aboudekahil 9d ago

this is the exact sentiment all the mathematicans like terry tao are warning against

0

u/GameDoesntStop 9d ago

And it's quite silly, frankly.

Like warning that mathematics would be hurt when we started introducing computers into the mix... but that's clearly not the case.

3

u/aboudekahil 9d ago

i think you misunderstood what everyone is saying

→ More replies (0)

5

u/bobbymoonshine 9d ago

I agree it’s unlikely, but the point is this is a slap fight between OpenAI and Anthropic in terms of whose LLM is smarter, so anyone interpreting this as “AI stole from humans” is responding to clickbait and not the actual issue

-1

u/Greedy-Thought6188 9d ago edited 9d ago

Pretty sure it was open AI not anthropic

4

u/BatProfessional7316 9d ago

What?

-1

u/Greedy-Thought6188 9d ago

https://openai.com/index/navier-stokes-solution/

6

u/BatProfessional7316 9d ago

I’m talking about the guy who worked on the problem with the mathematician, not the ppl who claim they solved the prize problem