[태그:] GPT-5 수학 증명 능력