If we don't ask for proof when someone claims something, the next few years are ...

mcosta · 2026-07-20T15:28:01 1784561281

They have provided a literal mathematical proof.

gonzalohm · 2026-07-20T18:03:42 1784570622

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 · 2026-07-20T18:49:06 1784573346

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 · 2026-07-21T09:21:08 1784625668

> posting this during the World Cup

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

tptacek · 2026-07-20T20:31:42 1784579502

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 · 2026-07-21T05:52:37 1784613157

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