Why Hacker News recommends it
5 comments from 1 distinct recommending reader, between 2025 and 2025.
- Recommends
Technically yes because it's a different proof. See here: x.com/ErnestRyu/status/1958408925864403…...
Claim: GPT-5-pro can prove new interesting mathematicsRead the thread - Recommends
More nuanced take x.com/ErnestRyu/status/1958408925864403…...
Claim: GPT-5-pro can prove new interesting mathematicsRead the thread - Disagrees
Are we sure this guy is not someone being mirrored by a recursive non-governmental system? Context: x.com/GeoffLewisOrg/status/194586496337…
Claim: GPT-5-pro can prove new interesting mathematicsRead the thread - Cites it
More comments from another mathematician: x.com/ErnestRyu/status/1958408925864403…...
Claim: GPT-5-pro can prove new interesting mathematicsRead the thread - Cites it
> Claim: gpt-5-pro can prove new interesting mathematics. >Proof: I took a convex optimization paper with a clean open problem in it and asked gpt-5-pro to work on it. It proved a better bound than what is in the paper, and I checked the proof it's correct. x.com/SebastienBubeck/status/1958198661… (please excuse the x link)
America is getting an AI gold rush instead of a factory boomRead the thread