نماذج OpenAI تثبت بطلان فرضية الزمن الأُسّي

كشفت OpenAI النقاب عن ثلاثة اختراقات علمية مهمة أنتجتها نماذجها المتقدمة الداخلية، في لحظة قد تكون تحولية لعلوم الحاسوب النظرية والرياضيات. وأكثر النتائج إثارة للاهتمام هو إثبات بطلان فرضية الزمن الأُسّي (ETH)، وهي حدسية عريقة حول السرعة التي يمكن بها حلّ مسائل معينة من قابلية الإرضاء البولياني، وهي مسألة مرتبطة ارتباطاً وثيقاً بمسألة P مقابل NP الشهيرة.

ظلّت فرضية ETH أساساً لنظرية التعقيد الحسابي لعقود، إذ ظهرت في مئات الأوراق البحثية المحكّمة التي استخدمها الباحثون لاستنتاج نتائج الصلابة الشرطية في نظرية الرسوم البيانية وعلم الأحياء الحسابي وقواعد البيانات والهندسة الحسابية. أنتج نظام OpenAI برهاناً بالإبطال باللغة الطبيعية في 16 أكتوبر 2026، ثم جرى التحقق منه رسمياً في مساعد الإثبات Lean في 17 أكتوبر. وتزعم الشركة أنها وجدت خوارزمية بزمن دون أُسّي لمسائل كان يُعتقد سابقاً أنها تتطلب زمناً أُسّياً، وهي نتيجة، إن تأكدت صحتها، ستعيد تشكيل الافتراضات حول حدود الحوسبة جذرياً.

وإلى جانب نتيجة ETH، أعلنت OpenAI عن اكتشافين مكمّلين: برهان لحدسية التمهيد الموضعي لمعادلة الموجة في كل الأبعاد (وهو ما يحلّ في الوقت نفسه حدسيتَي Kakeya وStein الخاصتين بالتقييد)، وبرهان وجودي صارم رياضياً للديناميكا اللونية الكمومية يشمل نظرية Yang–Mills. ونشرت الشركة البراهين التي كتبها الذكاء الاصطناعي وصيغها الرسمية في Lean في مستودع GitHub عام، واصفةً المخطوطات بأنها بيانات بحثية خام.

والأهم أن أياً من هذه النتائج لم يخضع بعد لتحقق مستقل من الخبراء. وأكّدت OpenAI التزامها بالشفافية من خلال تنظيم مجموعات من الخبراء الخارجيين لفحص كل نتيجة وشرحها للمجتمع البحثي الأوسع. وأشارت الشركة إلى أنه في حين أن دحض ETH "يعيد فتح أسئلة حول مقدار السرعة الإضافية التي يمكن أن تكتسبها هذه المهام"، فإن تحويل مثل هذه التقدمات النظرية إلى تحسينات خوارزمية عملية "سيتطلب بحثاً إضافياً كبيراً". ويجمع الإعلان بين طموح علمي حقيقي وحذر ملحوظ، إذ تدعو OpenAI صراحةً إلى التدقيق بدلاً من ادعاء برهان قاطع.