Hacker Next
Claim: GPT-5-pro can prove new interesting mathematicstwitter.com
255 points by marcuschong 8 days ago | 151 comments