I think people underestimate the effect GPT-5.x is already having on research in mathematical fields. 5.5 Pro has been proving many theorems for me, but I don’t talk about it much because I want to publish those results with my name on it and that’ll take time to write up.
People Underestimate GPT-5.x's Impact on Math Research
GPT-5.5 Pro has been proving many theorems for me.