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

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

نتيجة علوم الحاسوب أكثر جرأة: ورقة بعنوان "فرضية الزمن الأسي خاطئة". تقدم الورقة خوارزمية حتمية تحسب بدقة التعيينات المرضية لصيغ CNF ذات العرض الثابت في زمن دون أسي ومساحة متعددة الحدود. حالة 3-SAT تدحض فرضية الزمن الأسي (ETH). سيقوم فريق عمل مستقل من علماء الحاسوب بقيادة راسل إمباليازو وراماموهان باتوري وريان ويليامز بفحص الإثبات وشرحه. بناءً على طلب المجموعة، تجعل OpenAI المواد متاحة للجمهور على الفور حتى يتمكن الآخرون من فحصها أيضًا. كان إمباليازو وباتوري جزءًا من المجموعة التي اقترحت ETH في الأصل في عام 1999 - لذا على الأقل شخص ما في الغرفة يتذكر عندما كانت الفرضية تعتبر صحيحة.

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

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

قررت مجموعة علوم الحاسوب نشر كتابة مخرجات الذكاء الاصطناعي وإثبات Lean على GitHub اليوم. كما نشروا رسالة مفتوحة إلى المجتمع تطلب المدخلات حول كيفية فحص الادعاء وحول وضع معايير للتعامل مع الاختراقات المولدة بالذكاء الاصطناعي. تطرح الرسالة ثلاثة أسئلة أوسع: ما التوقعات التي يجب أن تحكم الوصول المبكر إلى النتائج المولدة بالذكاء الاصطناعي، والكشف عن تضارب المصالح، واستخدام المواد غير المنشورة للبحث اللاحق؟ كيف يجب أن يعترف الفضل بالاكتشافات الجديدة وعمل التحقق والإصلاح والتبسيط والشرح والتوسيع؟ كيف يمكننا دعم الطلاب