الوسم: قدرات GPT-5 في البراهين الرياضية