Tag: GPT-5 Pro mathematical proof