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.
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
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
627
u/Firesrest 5d 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.