Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem (twitter.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of twitter.com: Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem

First screen, captured 7 months ago.

Looks similar

Screenshot of twitter.com: Gap in Mochizuki's proof of ABC confirmed by Lean

Gap in Mochizuki's proof of ABC confirmed by Lean (twitter.com)

13 points by ogogmad 3 months ago | 1 comments

Screenshot of twitter.com: Many "serious" mathematicians are aghast

Many "serious" mathematicians are aghast (twitter.com)

17 points by tosh 3 months ago | 6 comments

Screenshot of twitter.com: Claude 3 Opus reinvented this quantum algorithm from scratch in just 2 prompts

Claude 3 Opus reinvented this quantum algorithm from scratch in just 2 prompts (twitter.com)

44 points by samaysharma 2 years ago | 11 comments

Screenshot of twitter.com: Sorry, but a new prompt for GPT-4 is not a paper

Sorry, but a new prompt for GPT-4 is not a paper (twitter.com)

225 points by georgehill 2 years ago | 150 comments

Screenshot of twitter.com: "Our research is greatly sped up by AI but AI still needs us"

"Our research is greatly sped up by AI but AI still needs us"(twitter.com)

21 points by wrong-mexican 11 months ago | 9 comments

Screenshot of twitter.com: Claim: GPT-5-pro can prove new interesting mathematics

Claim: GPT-5-pro can prove new interesting mathematics (twitter.com)

235 points by marcuschong 1 year ago | 122 comments