The next few years are going to be difficult for you

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 18 hours ago | parent [-]

They have provided a literal mathematical proof.

▲

gonzalohm 16 hours ago | parent [-]

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 15 hours ago | parent | next [-]

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 13 minutes ago \| parent [-]
		> posting this during the World Cup The World Cup is over. This tweet was the day after.

▲

tptacek 13 hours ago | parent | prev [-]

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 4 hours ago \| parent [-]
		I mean, they kind of have, but mostly by finding an infinite money glitch.

▲

0x1ceb00da a day ago | parent | prev [-]

Why?

▲

minimaxir 16 hours ago | parent [-]

There will be more and more mathematical proofs provided by LLMs as they improve. If you assume every one is just a marketing tactic, you'll drive yourself insane.

	▲	anxoo 16 hours ago \| parent [-]
		you can believe a small, irrelevant lie and still go on happy. a very big lie sucks in more and more of your reality until you have to disbelieve your own eyes and ears.