Étiquette : GPT-5 Pro preuve mathématique