I think the mathematicians on X are all using GPT 5.5 Pro