الوسم: إثباتات الرياضيات في GPT-5.2