Claim: GPT-5-pro can prove new interesting mathematics