OpenAI تطلب مراجعة خارجية لإثباتات ذكاء اصطناعي في الرياضيات وعلوم الحاسوب والفيزياء

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

علوم الحاسوب: ETH موضع تحدٍّ

تقول OpenAI إن إحدى النتائج تتعلق بفرضية الوقت الأسي (Exponential Time Hypothesis، ETH)، التي ترتبط بمشكلة إرضاء القيم المنطقية (Boolean satisfiability problem)، والمعروفة اختصارًا بـ SAT. وتسأل SAT ما إذا كان يمكن تعيين قيم للمتغيرات في صيغة منطقية لجعل الصيغة صحيحة. وتفترض ETH عدم وجود اختصار حقيقي، وأن وقت الحساب في أسوأ الحالات ينمو نموًا أسّيًا مع إضافة متغيرات. وتقول OpenAI إن نظامها أثبت أن ETH غير صحيحة. وتقول الشركة إن ذلك سيؤثر في مئات الأوراق المبنية على ETH، مع أن المكاسب العملية ستتطلب بحثًا كثيرًا.

يتحقق Ryan Williams من MIT من النتيجة ويشرحها بشكل مستقل، مع Russell Impagliazzo وRamamohan Paturi من UC San Diego. وتقول المجموعة إنها لا ترتبط باتفاقيات عدم إفصاح، وتعمل من دون أجر، وتخطط لمشاركة نتائج مؤقتة. وفي رسالة مفتوحة، يقول الثلاثة إن مشاركتهم ليست تأييدًا. وتنشر OpenAI الإثبات المكتوب وإثبات Lean، وقد تعهدت بتمويل مؤتمر حول النتيجة.

الرياضيات: تمليس موضعي في كل بعد

تتعلق نتيجة الرياضيات بتخمين التمليس الموضعي (local smoothing conjecture) الذي اقترحه Christopher Sogge في عام 1991. ويفترض التخمين أن التركيز الشديد للموجات لا يدوم إلا لفترة قصيرة، لذا تتصرف الموجات بسلاسة أكبر عند متوسطها عبر الزمن. وقد أُثبِت في بعدين من قبل Guth وWang وZhang في عام 2019. وتقول OpenAI إن نماذجها أنتجت الآن إثباتًا لكل بعد. ووفقًا لـ OpenAI، تثبت النتيجة أيضًا تخمين كاكيا وتخمين شتاين للقيد في جميع الأبعاد. وتقول OpenAI إنه لا توجد مجموعة مخصصة تشرف على هذا الإثبات. وبعد التواصل مع خبير خارجي، نشرت نص الإثبات وإثبات Lean مباشرة لكي يقرر الباحثون كيفية فحص النتيجة.

الفيزياء: وجود نظرية الحقل الكمي

تتعلق نتيجة الفيزياء بنظرية الحقل الكمي (quantum field theory)، التي تصفها OpenAI بأنها أهم إطار في الفيزياء النظرية الحديثة. وتقول OpenAI إن ذكاءها الاصطناعي أثبت أن بعض نظريات الحقل الكمي توجد في أربعة أبعاد. ويشمل الإثبات نظرية Yang-Mills، والديناميكا اللونية الكمية (quantum chromodynamics)، وأبسط نظرية توحيد كبرى (grand unified theory). وفيما يخص Yang-Mills، تقول OpenAI إنها حلّت جزء الوجود فقط، وليس فجوة الكتلة (mass gap)، لذا لن تُحل مسألة جائزة الألفية بالكامل.

ستشرف على العمل مجموعة يقودها David Gross. وشارك Gross في جائزة نوبل في الفيزياء لعام 2004. وتضم المجموعة Michael Douglas وArthur Jaffe وIgor Klebanov وNikita Nekrasov. وتقول OpenAI إنها ترجمت إثبات Yang-Mills إلى Lean، لكن هذه المجموعة تحتجز مواد الذكاء الاصطناعي حاليًا وتخطط لكتابة النتيجة بنفسها.

المراجعة والفضل

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

المصادر: The Decoder