o4-mini نموذج استدلال قوي يدفع الحدود في البرمجة والرياضيات والعلوم والإدراك البصري والمزيد