标签: GPT-5 Pro数学证明