GPT-5.6 Sol Ultra ودليل 64 وكيلًا على تخمين الغلاف المزدوج للدورة
نشرت OpenAI مخطوطة من ثلاث صفحات تدّعي تقديم برهان كامل لتخمين الغلاف المزدوج للدورة، وهي مشكلة رئيسية مفتوحة في نظرية الرسوم البيانية تعود إلى سبعينيات القرن الماضي. وفقًا للباحثين في OpenAI، إيثان نايت ونوعام براون، أنتج GPT-5.6 Sol Ultra النتيجة في أقل من ساعة من الزمن الفعلي مع تنسيق يصل إلى 64 وكيلًا فرعيًا متوازيًا. ثم تم استخدام Codex مع GPT-5.6 Sol لإعداد الصياغة الرياضية النهائية. كما نشرت OpenAI المطالبة الكاملة المكونة من صفحتين. هذا الـ
إعلان GPT-5.6 سول ألترا وإثبات حدسية التغطية المزدوجة للدورات باستخدام 64 وكيلاً
مقدمة
نشرت OpenAI مخطوطة من ثلاث صفحات تدعي تقديم إثبات كامل لحدسية التغطية المزدوجة للدورات، وهي مشكلة مفتوحة رئيسية في نظرية المخططات تعود إلى سبعينيات القرن العشرين.
وفقًا للباحثين في OpenAI إيثان نايت ونوعام براون، أنتج GPT-5.6 سول ألترا النتيجة في أقل من ساعة من الوقت الفعلي، مع تنسيق ما يصل إلى 64 وكيلًا فرعيًا متوازيًا. ثم استُخدم Codex مع GPT-5.6 سول لإعداد الصياغة الرياضية النهائية.
كما نشرت OpenAI المطالبة الكاملة المكونة من صفحتين. هذه الوثيقة قيّمة لأنها تُظهر كيف يمكن صياغة مهمة بحثية صعبة لنظام متعدد الوكلاء كبير.
التحذير الرئيسي بسيط: نشرت OpenAI إثباتًا مدّعى، وليس إجماعًا رياضيًا محكّمًا من الأقران. لا يزال يتعين على المتخصصين التحقق من الحجة بشكل مستقل قبل اعتبار الحدسية مُسوَّاة رسميًا.
ما أعلنته OpenAI
قال إيثان نايت إن GPT-5.6 سول ألترا أنتج إثباتًا لحدسية التغطية المزدوجة للدورات باستخدام 64 وكيلًا فرعيًا في أقل من ساعة واحدة.
سلّط نوعام براون الضوء على نقطتين:
- تم توفير تكوين النموذج علنًا، بدلاً من قصره على نظام بحث داخلي.
- أدى الحوسبة الموازية في زمن الاختبار إلى تقليل الوقت المستغرق لمهمة قد تتطلب استدلالًا تسلسليًا أطول بكثير.
تصف OpenAI ultra بأنه أعلى إعدادات قدرة GPT-5.6. ينسق وكلاء متعددين عبر مسارات عمل متوازية، ويستخدم عددًا أكبر من التوكنات للحصول على نتائج أقوى ووقت أسرع للنتائج في المهام الصعبة.
ما تم نشره
| الوثيقة | الطول | الغرض |
|---|---|---|
| مخطوطة الإثبات | 3 صفحات | تقديم إثبات إيجابي كامل |
| المطالبة الكاملة | صفحتان | تعريف النظرية، معايير الإكمال، استراتيجية البحث، إدارة الوكلاء، ومتطلبات المراجعة |
تنص مخطوطة الإثبات على أن الإثبات يرجع بالكامل إلى GPT-5.6 سول ألترا، وأن Codex مع GPT-5.6 سول استُخدم في الصياغة.
ما هي حدسية التغطية المزدوجة للدورات؟
المخطط هو مجموعة من الرؤوس متصلة بواسطة حواف.
الدورة هي مسار مغلق. الجسر هو حافة تزيد إزالتها من عدد المكونات المتصلة.
تنص الحدسية على:
كل مخطط محدود بدون جسور لديه
مجموعة من الدورات يظهر فيها كل حافة مرتين بالضبط.
كلمة "بالضبط" تخلق الصعوبة. قد تؤدي إضافة دورة جديدة إلى إصلاح حافة غير مغطاة بشكل كافٍ مع التسبب في ظهور حافة أخرى ثلاث مرات.
لماذا تُستثنى الجسور
لا يمكن للجسر أن ينتمي إلى دورة. إذا كانت الحافة هي الاتصال الوحيد بين جزأين من المخطط، فلا يمكن لأي مسار مغلق صالح أن يشملها. لذلك تكون التغطية المزدوجة بالدورات مستحيلة عند وجود جسر.
الفكرة الأساسية للإثبات المنشور
لا تبحث المخطوطة عن الدورات المطلوبة بشكل مباشر.
إنها تحول المشكلة إلى مشكلة تسمية الحواف فوق فضاء متجه محدود، ثم تستخدم الجبر الخطي لإظهار أن التسميات المحلية يمكن جعلها متسقة عالميًا.
الخطوة 1: الاختزال إلى مخططات تكعيبية
يستخدم الإثبات اختزالًا قياسيًا منسوبًا إلى جايجر. يكفي التعامل مع المخططات المتعددة التكعيبية الخالية من الحلقات، حيث يكون لكل رأس ثلاث حواف بالضبط.
الخطوة ٢: تعيين تدفق غير صفري
يستخدم البرهان فضاءً متجهيًا محدودًا:
Γ = F₂³
يقوم التدفق غير الصفري بتعيين متجه غير صفري لكل حافة مع استيفاء قاعدة حفظ عند كل رأس.
بالنسبة لتسميات الحواف المتصلة x و y و z:
x + y + z = ٠
يعتمد البرهان على النظرية المثبتة التي تنص على أن كل رسم بياني لا يحتوي على جسور له تدفق غير صفري فوق هذه المجموعة ذات العناصر الثمانية.
الخطوة ٣: استبدال كل تسمية بمجموعة من عنصرين
تتلقى كل حافة e مجموعة من عنصرين:
Pₑ ⊆ Γ
القاعدة المحلية المستهدفة هي:
لكل رأس v وتسمية s ∈ Γ،
يكون عدد الحواف المتصلة e مع s ∈ Pₑ إما ٠ أو ٢.
قم بتثبيت تسمية s وجمع كل الحواف التي تحتوي مجموعتها عليها. عندئذٍ تكون درجة كل رأس صفرًا أو اثنين في ذلك الرسم البياني الفرعي، لذا فإن الحواف المحددة تشكل اتحادًا منفصلاً من الدورات.
نظرًا لاحتواء كل حافة على تسميتين، فإنها تنتمي بالضبط إلى عائلتين دوريتين محددتين بالتسمية. وهذا يُنشئ غطاءً مزدوجًا للدورات.
الخطوة ٤: حل الاتساق العالمي
يجب أن يتوافق البناء المحلي عند طرفي كل حافة.
يعبر البرهان عن هذا الشرط كنظام خطي:
tᵤ + tᵥ + εₑ f(e) = dₑ
ثم يُستخدم حجة الفضاء المزدوج والتكافؤ لإظهار أن النظام دائمًا ما يكون له حل.
لذلك يمكن دمج المجموعات المحلية ذات العنصرين في توزيع عالمي واحد، وتظهر الدورات المطلوبة تلقائيًا.
الاستراتيجية في جملة واحدة
لا يقوم البرهان ببناء الدورات واحدة تلو الأخرى. بل يقوم ببناء تسميات تجبر بنيتها التكافؤية ظهور الدورات.
لماذا لا يزال التحقق المستقل مهمًا
يتطلب البرهان القصير لتخمين مفتوح مشهور تدقيقًا دقيقًا، بغض النظر عما إذا كان مكتوبًا بواسطة شخص أو نظام ذكاء اصطناعي.
يحتاج المراجعون إلى التحقق من أن:
١. الاختزال إلى الرسوم البيانية المكعبة ينطبق تمامًا كما استُخدم.
٢. نظرية التدفق غير الصفري تحتوي على الفرضيات المطلوبة.
٣. التسمية المحلية تعالج كل تكوين مكعب صالح.
٤. حجة الازدواجية تثبت قابلية الحل الكاملة.
٥. الحواف المتوازية والرسوم البيانية غير المتصلة تُعالج بشكل صحيح.
٦. لا تفترض أي خطوة
شكلًا مكافئًا للتخمين.
لقد ادعت أوراق سابقة أيضًا تقديم براهين لتخمين الغطاء المزدوج للدورات دون إنتاج حل مقبول على نطاق واسع. لذلك فإن وجود مخطوطة لا يكفي بمفرده.
الوصف الدقيق هو:
أنتج GPT-5.6 Sol Ultra مخطوطة قصيرة تقدمها OpenAI كبرهان كامل، والحجة متاحة الآن للمراجعة الرياضية المستقلة.
ما الذي فعله الموجه بشكل مختلف
لم يصف الموجه طريقة برهان واحدة. لقد أنشأ عقد مهمة.
لقد حدد:
- النظرية بدقة.
- جميع المصطلحات الهامة والحالات الحدية.
- ما يعتبر إكمالًا.
- ما لا يعتبر إكمالًا.
- كيف يجب أن تستكشف الوكلاء البدائل.
- متى يجب وضع علامة على طريق كمسدود.
- كيف يجب مراجعة البراهين المرشحة.
- ما الأدلة التي يجب على كل وكيل إعادتها.
- متى يمكن للوكيل الجذر التوقف.
الدرس الأول في المطالبة: حدد الإنجاز، وليس إجراءً تخمينيًا
لمهمة صعبة ذات مسار حل مجهول، قد يضمّن سير العمل الجامد افتراضًا سيئًا.
تحدد المطالبة الأقوى المنتج النهائي والاختبارات التي يجب أن يجتازها.
قدّم نتيجة كاملة تلبي كل معيار قبول أدناه.
يمكنك اختيار وتعديل العملية ديناميكيًا، لكن يجب أن يغطي المخرج النهائي
كل حالة مذكورة ويصمد أمام المراجعة المستقلة.
الدرس الثاني في المطالبة: أزل الغموض مبكرًا
تحدد المطالبة فئة الرسم البياني، والجسور، والدورات، والحواف المتوازية، والرسوم البيانية غير المتصلة، والتعددية الدقيقة قبل طلب إثبات.
في العمل التجاري أو التقني، ما يعادل ذلك هو تعريف:
- النطاق الزمني.
- مصدر البيانات.
- مجموعة المستخدمين.
- وحدة القياس.
- الصيغة المطلوبة.
- الافتراضات المسموح بها.
- الحالات المستبعدة.
- حدود الموافقة.
الدرس الثالث في المطالبة: اذكر ما لا يُحتسب
ترفض المطالبة:
- إثباتات لفئات رسوم بيانية خاصة فقط.
- أغطية لا تظهر فيها بعض الحواف مرتين بالضبط.
- اختزالات إلى حدسية أخرى غير مثبتة.
- تحقق فقط حتى حجم رسم بياني ثابت.
- تقدم جزئي يُقدم كحل كامل.
تمنع هذه التقنية الوكيل من إرجاع شيء مثير للإعجاب لكنه غير مكتمل.
الدرس الرابع في المطالبة: احفظ مسارات البحث المستقلة
قيل للوكيل الأساسي أن يبدأ بأساليب مختلفة حقًا وألا يكشف المسار المفضل لمعظم الوكلاء مبكرًا جدًا.
يقلل ذلك من التقارب المبكر والتفكير الجماعي.
يمكن أن تشمل محفظة وكلاء عملية:
| عائلة الوكيل | المسؤولية |
|---|---|
| الهيكلي | البحث عن اختزالات ومتغيرات ثابتة |
| الجبري | ترجمة المشكلة إلى معادلات |
| البناء | بناء الكائن المطلوب مباشرة |
| الحسابي | اختبار الحالات والمُسَلَّمات المقترحة |
| الأدبي | التحقق من النظريات القياسية |
| الخصم | البحث عن أمثلة مضادة وافتراضات مخفية |
| المزج | مقارنة ودمج النتائج المتوافقة |
الدرس الخامس في المطالبة: ضع علامة على المسارات المسدودة
عندما يواجه المسار مُسَلَّمة مفقودة بنفس صعوبة المشكلة الأصلية، يجب وضع علامة عليه كمسدود.
لا ينبغي تعيين وكلاء إضافيين ما لم يقدم شخص ما آلية جديدة حقًا، أو متغيرًا ثابتًا، أو بناءً، أو مثالًا مضادًا.
يمنع هذا هدر الموارد الحاسوبية على اختزال أنيق لكنه دائري.
الدرس السادس في المطالبة: افصل التوليد عن المراجعة
تتطلب المطالبة من الوكلاء الخصوم فحص التعددية الدقيقة، وحالات الحواف المتوازية، والرسوم البيانية غير المتصلة، والمسارات المغلقة غير الصالحة، و
استدلال دائري.
لا ينبغي أن يكون العامل الذي يُنشئ حلًا هو الحكم الوحيد عليه.
ينطبق هذا على إطلاق المنتجات، تحليل البيانات، عمليات الترحيل، مراجعات الأمان، وسير العمل القانوني والمالي.
الدرس السابع من التعليمات: طلب أدلة ملموسة
يجب أن تعيد العوامل الفرعية مقدمات ملموسة، معادلات، إنشاءات، أو أمثلة مضادة. التقارير الغامضة مثل "اتجاه واعد" لم تكن مقبولة.
تعليمات قابلة لإعادة الاستخدام هي:
يجب على كل عامل إعادة قطعة أثرية يمكن لعامل آخر فحصها.
لا تقبل تحديثات الحالة بدون حسابات، اختبارات، مصادر،
كود، أمثلة، أو فجوة غير محلولة محددة بدقة.
تعليمات الثماني ساعات والنتيجة في ساعة واحدة
توجه التعليمات النظام لقضاء ثماني ساعات على الأقل قبل التفكير في التوقف أو الاستسلام. يذكر إعلان OpenAI أن الإثبات تم إنتاجه في أقل من ساعة.
الوثائق العامة لا تشرح بالتفصيل كيف تم تفسير تلك التعليمات بالضبط.
أحد التفسيرات المحتملة هو الفرق بين وقت الساعة الفعلية ووقت العامل الإجمالي. مع تشغيل 64 عاملاً بالتوازي، يمكن لساعة واحدة من الوقت المنقضي أن تحتوي على ساعات عمل عديدة للعوامل.
هذا استنتاج وليس طريقة محاسبية مؤكدة للتجربة.
عقد مهام متعدد العوامل قابل لإعادة الاستخدام