Starmorph News
Claim: GPT-5-pro can prove new interesting mathematicstwitter.com
150 points by marcuschong 4 days ago | 96 comments