تُدّعي OpenAI أن الذكاء الاصطناعي حَلَّ ثلاث مشكلات علمية كبيرة في الرياضيات وعلوم الحاسوب والفيزياء

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

قالت OpenAI إن نماذجها أثبتت فرضية الترقيق المحلي، وهي مشكلة رياضية قديمة تعود لعقود تتعلق بانتشار وتركيز الموجات. تتنبأ هذه الفرضية بأن متوسط الموجات على مدى الزمن يقلل من شدتها مقارنةً بلحظاتها الأكثر حدة. وسيؤدي هذا الناتج أيضًا إلى حل فرضية كاكييا وفرضية ستاين للقيود. تتعلق فرضية كاكييا بأصغر حجم ممكن لشكل يحتوي على قطعة خط موجهة في كل اتجاه. وتركز فرضية ستاين للقيود على سلوك الترددات الرياضية للدوال على الأسطح المنحنية. وقالت OpenAI إن النماذج أنتجت النتيجة في 18 أكتوبر. وقالت OpenAI إن النتيجة تم ترسيخها في اليوم التالي باستخدام Lean، وهو لغة للتحقق من الإثباتات. وقالت OpenAI إن شرحًا باللغة الطبيعية وإثباتًا رسميًا نُشرا على GitHub.

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

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

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

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