Michael Johnsonفي 26 أكتوبر 2026، أعلنت OpenAI عن ثلاثة نتائج لنموذج داخلي في التحليل التوافقي ونظرية التعقيد الحسابي ونظرية المجال الكمومي. ويتمثل الادعاء الرئيسي في علوم الحاسوب في دحض فرضية الزمن الأسي (ETH)، التي تُستخدم في تقديرات التعقيد المشروطة في أبحاث كثيرة. ونشرت الشركة مخطوطة وصياغة رسمية في Lean؛ فيما تنظم مجموعة من المنظّرين الخارجيين دراسة النتيجة لاحقًا.
وفقًا لإعلان OpenAI الصادر في 26 أكتوبر، صاغ النموذج دحض فرضية ETH في 16 أكتوبر، ثم جرت صياغة النتيجة رسميًا في Lean في 17 أكتوبر. يصف العمل خوارزمية حتمية دون أسية تحسب بدقة عدد التعيينات المُرضية لصيغ k-CNF عند تثبيت k. وإذا اجتاز الاستنتاج التحقق العلمي، فسيؤثر في تقديرات التعقيد المشروطة لمسائل في عدة مجالات.
ما الذي يتحقق منه Lean تحديدًا؟
تحدد مذكرة نطاق صياغة فرضية ETH رسميًا الحدود الدقيقة للتحقق الآلي: فعند تثبيت k، يثبت Lean أن آلة حتمية تحسب بدقة حلول صيغة k-CNF مرمّزة ترميزًا معياريًا، في زمن دون أسي وباستخدام مساحة متعددة الحدود. وتورد مخطوطة 25 أكتوبر حدًا زمنيًا أقوى من الادعاء المصاغ رسميًا.
وبذلك، تتعلق النتيجة الرسمية بصياغة محددة للمسألة وترميز وتقديرات للموارد. يتحقق Lean من البرهان ضمن النظام الرسمي المحدد؛ أما الخبراء، فعليهم تقييم صلة هذا الادعاء بفرضية ETH، وطريقة عرض الحجة، وجدتها العلمية. لذا فإن الوضع العملي للعمل حاليًا هو ادعاء منشور لدراسته بشأن دحض الفرضية، مرفق بصياغة رسمية ومراجعة خارجية.
من سيدرس العمل؟
أفادت OpenAI بأن راسل إمبالياتسو وراماموهان باتوري وريان ويليامز سيقودون مجموعة دراسة نتيجة ETH وشرحها. وقد اقترح إمبالياتسو وباتوري، إلى جانب فرانسيس زين، الفرضية الأصلية. وفي رسالة الباحثين إلى مجتمع علوم الحاسوب النظرية، فُصلت مشاركة المجموعة عن تأكيد الاستنتاج: فالنتيجة تحتاج إلى دراسة متأنية. ووفقًا لـOpenAI، طلبت المجموعة إتاحة المواد المصدرية للجمهور وتمويل مؤتمر لمناقشة تداعيات العمل.
تتعلق النتيجة الثانية بفرضية التنعيم المحلي لمعادلة الموجة. وتقول OpenAI إنها توصلت إلى برهان ينطبق على جميع الأبعاد، وتربطه بنتائج مترتبة على فرضية كاكي وفرضية شتاين لتحويل فورييه. ونشرت الشركة نص النتيجة ووصف نطاق صياغتها الرسمية في Lean. وسيكون على الرياضيين تقييم محتوى البرهان وما يترتب عليه.
نُشرت النتيجة الفيزيائية بطريقة مختلفة حتى الآن
في الفيزياء، أعلنت OpenAI عن إثبات وجود بعض نظريات المجال الكمومي التفاعلية في أربعة أبعاد، بما في ذلك الديناميكا اللونية الكمومية ونظرية يانغ–ميلز الخالصة. وقررت مجموعة خارجية بقيادة ديفيد غروس عدم نشر المواد التي أنشأها النموذج في الوقت الحالي، والعمل على إعداد عرض خاص بها. لذلك لا يستطيع القراء حتى الآن الاطلاع على مواد البرهان المفتوحة في هذه الحالة كما يمكنهم الاطلاع على مواد ETH والتنعيم المحلي.
ويرتبط ادعاء وجود نظرية يانغ–ميلز بمسألة معهد كلاي حول يانغ–ميلز وفجوة الكتلة، لكن الادعاءين ليسا متماثلين. إذ تتطلب مسألة كلاي إثبات وجود نظرية يانغ–ميلز الكمومية ووجود فجوة كتلة معًا؛ ويشير المعهد نفسه إلى أن إثبات هذه الخاصية لا يزال مجهولًا.
أما الخطوة التالية الأكثر مباشرة لعلماء الحاسوب، فهي مقارنة الصياغة الرسمية لفرضية ETH بالمخطوطة المصاحبة واستنتاجات المجموعة المستقلة. وتشير OpenAI أيضًا إلى أن البحث عن خوارزميات أسرع وتحويل التحسينات النظرية إلى تطبيقات عملية سيتطلبان مزيدًا من العمل. والخبر الأبرز في 26 أكتوبر هو ثلاثة ادعاءات بنتائج علمية، تختلف في مدى إتاحة موادها وإجراءات التحقق منها؛ وستحدد تحليلات الباحثين اللاحقة مكانتها في العلم.
