نموذج GPT-5.6 ينجح في حل معضلة رياضية استعصت لثلاثة عقود
نجح نموذج GPT-5.6 Sol Pro في تقديم برهان رياضي أغلق فجوة معقدة في تحسين محدّب ظلت قائمة منذ عام 1996. عمل النموذج دون انقطاع لمدة 148 دقيقة مسترشدًا بتقنية توجيه مطوّرة شبيهة بتلك التي استخدمتها OpenAI سابقًا، وأثبت أن خوارزمية تعتمد على تقييم دالة من الرتبة المربعة هي الأفضل ممكنًا ولا يمكن تحسينها. تحقّق الباحث، وهو أستاذ في جامعة كاليفورنيا بيركلي، من صحة البرهان رسميًا عبر أداة Lean، ما يبرز قدرة الذكاء الاصطناعي على حل مسائل رياضية استعصت على البشر لسنوات باستخدام التقنيات الحالية.
الحقائق الأساسية
عمل نموذج GPT-5.6 Sol Pro لمدة 148 دقيقة متواصلة لإثبات حدّ أدنى من التعقيد الرياضي في مجال التحسين المحدّب
«In a single 148 min session, with a prompt modeled after the one OpenAI used to prove CDC, GPT 5.6 Sol Pro supplied a proof that closed a complexity gap in convex optimization that has existed since 1996.»
عرض المصدر ←تم التحقق رسميًا من صحة البرهان الذي قدمه النموذج باستخدام أداة Lean
«After checking things myself, I formally verified the proof in Lean, and it passed the formal verification check.»
عرض المصدر ←الفجوة المعقدة التي تم إغلاقها كانت قائمة منذ عام 1996 وتتعلق بخوارزمية تعود للباحث Protasov
«An algorithm due to Protasov from 1996 shows that order d² function evaluations are sufficient»
عرض المصدر ←
المصادر
شفت معلومة تحتاج تصحيح؟ بلّغنا ونتحقق ونصحّح — سياسة التصحيح
صحّح هذا الخبر