بأقل من شهر من إطلاقها الجماهيري لمئات المخطوطات التي قالت إنها تحتوي على حلول لأسئلة رياضية طويلة الأمد، تعود OpenAI بـ ثلاثة اكتشافات “كبرى” إضافية في الرياضيات وعلوم الحاسوب والفيزياء. ما يختلف هذه المرة هو اختيار وجود خبراء خارجيين تصفهم OpenAI بأنهم “رعاة” يوجهون النتائج في علوم الحاسوب والفيزياء، بينما تقول في مسألة الرياضيات إنهم نصحوها بإطلاق مخرجات الذكاء الاصطناعي ليعمل الباحثون على تفسيراتهم الخاصة.
نتائج OpenAI المضافة إلى GitHub اليوم:
التنعيم المحلي لمعادلة الموجة الإقليدية. يستخدم البرهان معادلة تفاضلية جزئية مساعدة لإثبات التنعيم المحلي لسوجي (Sogge) للموجات في كل بُعد مكاني لا يقل عن اثنين. كما يحقق حدسية Kakeya العظمى وحدسية الأبعاد وتقديرات Stein للتقييد الكروي في كامل داخل المدى المُخمَّن. نحن نطلق مخرجات النموذج مباشرة، كما فعلنا في إطلاقتنا بتاريخ 6 أكتوبر.
فرضية الزمن الأسي خاطئة. تقدم الورقة خوارزمية حتمية تعد بدقة تعيينات الإرضاء لصيغ CNF ذات العرض الثابت في زمن دون أسي ومساحة متعددة الحدود. حالة 3-SAT تدحض فرضية الزمن الأسي. وستقوم مجموعة عمل مستقلة من علماء الحاسوب يقودها Russell Impagliazzo وRamamohan Paturi وRyan Williams بفحص البرهان وشرحه. وبناءً على طلب المجموعة، نحن نجعل المواد متاحة للجمهور فوراً ليتمكن الآخرون من فحصها أيضاً.
تعترف الشركة بأن هذا النهج قد يواجه مشاكله الخاصة، وقد لجنة AGMAI من المستشارين الرياضيين التي أنشأتها OpenAI قالت للتو أمس إنها “نوصي شركات الذكاء الاصطناعي بعدم تبنّي” ممارسات تعيين أشخاص معينين لتلقّي المخرجات أولاً، مستشهدةً بعدم المساواة في الوصول، والسمعة المستعارة، والانتقائية المتحيزة كأحد هذه المشاكل. وبدلاً من ذلك، أوصوا بأن تقوم مختبرات الذكاء الاصطناعي في المستقبل بإطلاق المخرجات على مستودعات علمية، مع براهين مُصاغة بـ Lean، ومعلومات حول كيفية اختيار المسائل، وتمويل للأشخاص العاملين على فهم النتائج، ومعلومات أخرى.
مواضيع ذات صلة
- «جنون خالص»: سيحتاج الرياضيون إلى سنوات لفهم إصدار OpenAI الأخير
- كل الدراما المحيطة باستحواذ الذكاء الاصطناعي على الرياضيات
لم تُنشر المعلومات الفيزيائية بالكامل بعد، لكنها عبارة عن “برهان وجودي صارم رياضياً لنظريات معينة في الحقل الكمومي التفاعلية تحتوي على حقول قياس وفييرميونات في أربعة أبعاد، بما في ذلك كروموديناميكا الكم (QCD) وإكمال موحّد للنموذج القياسي لفيزياء الجسيمات.” وفق OpenAI، “سيقود David Gross مجموعة تضم Michael Douglas وArthur Jaffe وIgor Klebanov وNikita Nekrasov سترعى هذا العمل.”
يُقال إن التعاون في علوم الحاسوب يثبت أن فرضية الزمن الأسي (ETH)، التي كان يُعتقد على نطاق واسع بأنها صحيحة، هي في الواقع خاطئة. تقول OpenAI إن التحقق من النتيجة سيوجهه مجموعة من ثلاثة خبراء تضم Russell Impagliazzo وRamamohan Paturi من جامعة كاليفورنيا سان دييغو، اللذين كانا جزءاً من المجموعة التي اقترحتها أصلاً في 1999، إضافة إلى أستاذ معهد MIT Ryan Williams. قررت المجموعة إطلاق كتابة مخرجات الذكاء الاصطناعي وبرهان Lean على GitHub اليوم.
كما أطلقوا رسالة مفتوحة إلى المجتمع تطلبون فيها مدخلات حول كيفية فحص الادعاء، وحول وضع معايير للتعامل مع الاختراقات المولّدة بالذكاء الاصطناعي:
نرحب بمناقشة ثلاثة أسئلة أوسع نطاقاً:
ما هي التوقعات التي ينبغي أن تحكم الوصول المبكر إلى النتائج المولّدة بالذكاء الاصطناعي، والإفصاح عن تضارب المصالح، واستخدام المواد غير المنشورة في أبحاث لاحقة؟
كيف ينبغي أن يعترف الإسناد العلمي بالاكتشافات الجديدة وبعمل التحقق والإصلاح والتبسيط والشرح والتوسيع لها على حد سواء؟
كيف يمكننا دعم الطلاب والباحثين مع تغيّر المنهجيات واتجاهات البحث، مع الحفاظ على الفهم والقدرة على الحكم اللازمة لمراجعة النتائج وتطوير أفكار جديدة؟
يوجد وثائق مماثلة لاختراق الرياضيات، حيث أنتج نموذجها «برهانًا على حدس تنعيم المحلي في كل الأبعاد، وبالتالي حلّ أيضًا حدس كاكيا وحدس تقييد شتاين في جميع الأبعاد». قبل بضعة أشهر فقط، حصلت الأستاذة في جامعة نيويورك هونغ وانغ على ميدالية فيلدز المرموقة من الاتحاد الرياضي الدولي لحلّها حدس كاكيا في ثلاثة أبعاد.
تابع المواضيع والمؤلفين من هذه القصة لرؤية المزيد من المحتوى المشابه في صفحتك الرئيسية المخصصة وللتوصل بتحديثات عبر البريد الإلكتروني.