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