Tag: GPT-5.2 mathematical proofs