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

YHacker Newsscreenshots

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

First screen, captured 1 year ago.

Looks similar

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: GPT 5.4 Thinking and Pro

GPT 5.4 Thinking and Pro (twitter.com)

59 points by twtw99 7 months ago | 10 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: Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem

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

247 points by mean_mistreater 7 months ago | 161 comments

Screenshot of twitter.com: 15× vs. ~1.37×: Recalculating GPT-5.3-Codex-Spark on SWE-Bench Pro

15× vs. ~1.37×: Recalculating GPT-5.3-Codex-Spark on SWE-Bench Pro (twitter.com)

26 points by nvanlandschoot 8 months ago | 9 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