标签: GPT-5数学证明能力