Étiquette : Preuve mathématique de GPT-5.2