الملخص:
بعد أقل من شهر من آخر مرة أصدرت فيها مئات الأوراق البحثية، أعلنت شركة OpenAI عن ثلاث نتائج "رئيسية" أخرى في مجالات الرياضيات وعلوم الكمبيوتر والفيزياء في 26 أكتوبر، وحاولت لأول مرة السماح لخبراء خارجيين بقيادة عملية فهم النتائج وإصدارها باعتبارهم "راعيين".
الفرق الأكبر عن النهج السابق هو التمييز بين استراتيجيات الإصدار: بالنسبة للنتائج في علوم الكمبيوتر والفيزياء، تدعو OpenAI خبراء خارجيين لقيادة فريق لتفسير النتائج؛ بالنسبة للمشكلات الرياضية، يوصي الخبراء بجعل مخرجات الذكاء الاصطناعي علنية بشكل مباشر والسماح للباحثين بتنظيم أعمالهم التفسيرية. وضعت OpenAI المخطوطات الثلاث كنوع من "بيانات البحث الأصلية" على مدونتها الرسمية واعترفت بأنه "ليس معروفًا بعد أي من الطرق الثلاث هي الأكثر فائدة".
من بين النتائج الثلاث، تهدف النتائج الرياضية إلى التحليل التوافقي. اقترح سوج "حدسية النعومة المحلية" في عام 1991 لمناقشة سلوك الموجات عند التركيز - يجب أن يكون التركيز الأكثر تطرفًا قصير الأجل، وتكون شدة التركيز في لحظات عشوائية أقل بكثير من أسوأ الحالات. وبما أن هذا التخمين أساسي للغاية، فهو يحتوي على حدسية كاكيا وحدسية ستاين المحددة. في عام 2019، أثبت جوث ووانغ وتشانغ الوضع ثنائي الأبعاد، وفي عام 2025، أثبت وانغ وزاهل حدسية كاكيا ثلاثية الصيانة؛ وقدم نموذج OpenAI دليلاً على حدسية النعومة المحلية في أي بعد، وبالتالي حل حدسية Kakeya وحدسية Stein في جميع الأبعاد. يعتمد الدليل الجديد على معادلة تفاضلية جزئية مساعدة جديدة. تم الحصول على مخرجات النموذج في 18 أكتوبر 2026، وتم الانتهاء من إضفاء الطابع الرسمي على Lean في اليوم التالي.
في علوم الكمبيوتر، تشير النتائج إلى زيف "فرضية الزمن الأسي" (ETH). ETH هو تخمين طويل المدى حول التعقيد الحسابي لمدى استيفاء الصيغ المنطقية. يرتبط ارتباطًا وثيقًا بمشكلة P مقابل NP. وقد تم استخدامه من قبل عدد كبير من الأبحاث في الماضي لاستخلاص نتائج صعبة مشروطة في نظرية الرسم البياني، وعلم الأحياء الحسابي، وقواعد البيانات، والهندسة الحسابية وغيرها من المجالات. تدعي OpenAI أن نظامها يثبت أن ETH غير صحيح، وقد أكمل التحقق في Lean: توفر الورقة خوارزمية حتمية يمكنها أن تحسب بدقة عدد التعيينات المُرضية لصيغة CNF ذات العرض الثابت في وقت أسي فرعي، وتشغل فقط مساحة متعددة الحدود. تشكل قضية 3-SAT دحضًا لـ ETH. تم فحص هذا العمل وتفسيره من قبل مجموعة عمل مستقلة بقيادة راسل إمباليازو وراماموهان باتوري وريان ويليامز. كان إمباجلياتزو وباتوري هما مقدمي الاقتراح الأصليين لـ ETH (بالتعاون مع فرانسيس زين). وبناء على طلب الفريق العامل، تم نشر المواد ذات الصلة على الفور؛ كما التزمت OpenAI أيضًا بتمويل مؤتمر لمناقشة آثار النتائج على المجال بأكمله. تم إنشاء الأدلة المضادة على مستوى اللغة الطبيعية في 16 أكتوبر وتم إضفاء الطابع الرسمي عليها في 17 أكتوبر.
توفر النتائج الفيزيائية دليلًا صارمًا على وجود بعض نظريات المجال الكمي المتفاعلة التي تحتوي على مجالات قياس وفرميونات في أربعة أبعاد، وتغطي الديناميكا اللونية الكمومية (QCD) ونسخة موحدة وكاملة من النموذج القياسي. يعتمد العمل على منهج بالابان في نظرية المجال الكمي البناء ويتضمن أيضًا كمشكلة فرعية دليلاً على وجود نظرية يانغ-ميلز النقية - والأخيرة هي جزء من مشكلة جائزة الألفية "نظرية يانغ-ميلز الكمومية" لمعهد كلاي للرياضيات. لا يمكن استقراء النموذج القياسي إلى مسافات قصيرة بشكل تعسفي، وهذا الدليل على الوجود مخصص لأبسط نظرية موحدة كبرى تتضمن مجالات قياس النموذج القياسي والفرميونات. قاد هذا العمل ديفيد جروس، الحائز على جائزة نوبل في الفيزياء عام 2004، وضم مايكل دوجلاس، وآرثر جافي، وإيجور كليبانوف، ونيكيتا نيكراسوف؛ شارك جافي في طرح مشكلة الألفية يانغ ميلز مع ويتن وشارك في تأسيس معهد كلاي للرياضيات، وكان دوغلاس يتابع المشكلة لمدة عشرين عامًا. تطلب مجموعة العمل إرسال جميع جهات الاتصال ذات الصلة إلى
[email protected]
. تم تقديم إثبات اللغة الطبيعية للنموذج في 9 سبتمبر لوجود Yang – Mills وفي 18 سبتمبر لـ QCD. نظرًا للطول والتعقيد الكبيرين للغاية، تم تأجيل الإصدار حتى 16 أكتوبر عندما تم الانتهاء من إضفاء الطابع الرسمي على Lean؛ قررت المجموعة عدم الكشف عن المنتجات التي تم إنشاؤها بواسطة الذكاء الاصطناعي في الوقت الحالي، ولكن كتابة الورقة البحثية بأنفسهم.وضعت OpenAI أربعة مبادئ لهذا التعاون الخارجي: الشفافية، وعدم مطالبة المشاركين بالتوقيع على اتفاقيات السرية، والمناقشة الحرة، ومشاركة المنتجات الوسيطة ونشر الاستنتاجات؛ إن عدم طلب مرتبة الشرف الأكاديمية، وعدم السعي للحصول على ائتمان أكاديمي للاكتشافات الناتجة عن النماذج الداخلية، ودعوة الباحثين للمشاركة لا يعني أنهم فعلوا أي شيء. أنتجت النتائج الأصلية. يعترف بالمساهمات، ويُنسب الفضل إلى مجموعة العمل في الفهم الذي بنته، والمخطوطات والمواد الأخرى التي كتبتها، وتكون مسؤولة عن الاستشهاد بشكل صحيح بالباحثين والتقنيات والأفكار التي تعتمد عليها؛ مستقلة، والمشاركة طوعية وغير مدفوعة الأجر، ولا يتحدث الأعضاء نيابة عن OpenAI، ولا تمثلهم OpenAI.
لكن النموذج نفسه مثير للجدل. وتعترف شركة OpenAI بأن اختيار "الراعي" الأولي سوف يحدد حتماً من يشارك أولاً ويخلق عدم تناسق في المعلومات، لذا فهي ترحب بالآراء الخارجية حول كيفية توسيع المشاركة. وجاء المزيد من الانتقادات المباشرة من مجموعة AGMAI الاستشارية الرياضية التي شكلتها شركة OpenAI نفسها: في اليوم السابق (25 أكتوبر)، ذكرت المجموعة بوضوح أنها "توصي شركات الذكاء الاصطناعي بعدم اعتماد ممارسة تعيين مجموعات محددة من الأشخاص للحصول على المخرجات أولا، مشيرة إلى عدم المساواة في الوصول، واستعارة سمعة الآخرين، والتحيز في الاختيار".
فيما يتعلق بدعم البحث العلمي، ذكرت OpenAI الاستثمار المعلن عنه سابقًا بقيمة 5 ملايين دولار أمريكي لمؤسسة سيمونز. تتم إدارة هذا الصندوق وتوزيعه من قبل المؤسسة لدعم الندوات والمؤتمرات والبرامج الخاصة لمساعدة الباحثين على الفهم ومواصلة العمل بناءً على النتائج الناتجة عن الذكاء الاصطناعي.
التعليقات