T twitter.com Claim: GPT-5-pro can prove new interesting mathematics 256 points marcuschong 1 year ago 150 comments
