Remix.run Logo
yellow_lead 5 hours ago

Both can be true:

1. OpenAI couldn't have solved the problem without the researchers' private data for training.

2. OpenAI models can solve math problems

ozgung 4 hours ago | parent | next [-]

Very likely.

These mathematicians’ prompts are not like “hey chat, please solve Navier-Stokes for me”. They add real expertise and intuition from the cutting edge of their field.

cman1444 an hour ago | parent | prev | next [-]

You forgot possibility 3: OpenAI solved the problem without using any private training data from the two researchers.

Everyone in this thread seems to have made up their mind about OpenAI's guilt though.

mrbungie an hour ago | parent [-]

Extraordinary claims require extraordinary evidence.

An article post that wouldn't even amount to a white paper + the LEAN proof is not evidence of how they got to produce it.

mlcrypto 4 hours ago | parent | prev [-]

Anthropic isnt getting enough scrutiny for their unprofessionalism:

1. Anthropic employee working on monumental problem but didnt receive/ask for the full backing of the company's resources

2. May or may not be mixing unreleased Claude output with Codex without zero data retention agreement

3. Victory lap on Twitter and giggling around the city before they finished the job, sparking rumors for competitors

robocat 3 hours ago | parent [-]

Dr. Buckmaster sounds unsanitary.

Recklessly prompting OpenAI without a care to the safety of their knowledge.

And after that trying to cast aspersions at OpenAI?

Hopefully we get some better facts, because OpenAI are disliked enough that a smear campaign could work against them.

Edit: also the narritive is getting framed as OpenAI versus Anthropic. A highly political extremely capitalist fight is going on, and facts are victims.