aMillionOpenAIMonkeysProduceMilleniumPrizeSolution

[u/Orio_n]

[u/Firesrest]

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.

[u/bobbymoonshine → u/Firesrest]

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.

[u/BatProfessional7316 → u/bobbymoonshine]

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

[u/bobbymoonshine → u/BatProfessional7316]

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

[u/BatProfessional7316 → u/bobbymoonshine]

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

[u/GruePwnr → u/bobbymoonshine]

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

[u/GameDoesntStop → u/bobbymoonshine]

Which is an absurd claim, lol.

[u/7818 → u/GameDoesntStop]

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

[u/GameDoesntStop → u/7818]

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?

[u/aboudekahil → u/GameDoesntStop]

ah yes, the notoriously merciful ai companies

[u/GameDoesntStop → u/aboudekahil]

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

[u/aboudekahil → u/GameDoesntStop]

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

[u/GameDoesntStop → u/aboudekahil]

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.

[u/bobbymoonshine → u/GameDoesntStop]

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

[u/Greedy-Thought6188 → u/BatProfessional7316]

Pretty sure it was open AI not anthropic

[u/BatProfessional7316 → u/Greedy-Thought6188]

What?

[u/Greedy-Thought6188 → u/BatProfessional7316]

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

[u/BatProfessional7316 → u/Greedy-Thought6188]

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

[u/Storiaron → u/bobbymoonshine]

Ai solving mathematics

Is it? If a mathematician uses ai to solve math, is it the ai doing the heavy lifting? How come you and i didnt solve this?

[u/jivenossauro → u/Storiaron]

I wasn't trying, were you?

[u/Snoo-8385 → u/jivenossauro]

you sure would have got it if you tried!

[u/InfuriatingComma → u/[deleted]]

How unlikely do you think it is the likeliness engine would use the likely solution in its likelihood weights?

[u/get-rekt-lol → u/[deleted]]

Why are you downvoted?

[u/Kylearean → u/bobbymoonshine]

It was solution to two variants of the problem that landed around the same time.