[gonzalohm]

If we don't ask for proof when someone claims something, the next few years are going to be rough for everyone. We can't trust anything nowadays

[mcosta]

They have provided a literal mathematical proof.

[gonzalohm]

Proof that an LLM did it and that this is not yet again another marketing stunt.

Remember when Anthropic wouldn't release Fable because it would be "the end of cyber security as we know it"? Yet here we are

[minimaxir]

This proof was posted by an individual researcher, Anthropic has not used it in any of their marketing.

Additionally, posting this during the World Cup would be the most inefficient way to do marketing.

[latexr]

> posting this during the World Cup

The World Cup is over. This tweet was the day after.

[tptacek]

Explain how the marketing stunt would work here? Tell me a story about how OpenAI spends money to pull off a similar problem by solving one of Smale's other unsolved problems. 80 years of mathematicians were unable to disprove the Jacobian Conjecture.

Is the marketing stunt that Anthropic has secretly built a world-class mathematics research group?

[adw]

I mean, they kind of have, but mostly by finding an infinite money glitch.