عندما نهضتُ من فراشي أمس، كان ثلاثة أشخاص قد سألوني إن كنت قد اطلعت على إعلان OpenAI بأن مبدأ التجزئة لا يستلزم مسلمة الاختيار. وازداد هذا العدد طوال اليوم، ويمكنني أن أفهم السبب. فأنا معروف باهتمامي بهذه المسألة. بل إن شخصين على الأقل سألاني إن كنت أنوي إرسال زجاجة ويسكي إلى Sam Altman، كما وعدتُ في صفحة "المسائل" الخاصة بي. والجواب هو لا، وأريد أن أشرح لماذا يجب أن تغضبوا كثيرًا من OpenAI.
أولًا، دعوني أوضح أمرًا. لستُ معارضًا تمامًا لاستخدام الذكاء الاصطناعي. فأنا أدرك أنه أداة، وأن كثيرين يجدونه مفيدًا. وأرى أننا بحاجة إلى فهم أفضل لكيفية تغيير هذه التقنية لمجالنا، وكيف نريد استخدامها، قبل أن نسارع إلى الالتزام بها. ولهذا أتجنب عمومًا استخدام الذكاء الاصطناعي في الرياضيات، وإن كنتُ أستعين بنماذج اللغة الكبيرة لتجميع المعلومات أو إنشاء رسم معلوماتي أو تدقيق رسالة إلكترونية. لا يزال الإطار الخاص باستخدامها في البحث العلمي مفقودًا. فقد فرض arXiv حدودًا على معدل الإرسال استجابةً لهذه الأدوات، ويجب أن تتضمن معظم الأوراق البحثية الآن بيانًا حول الذكاء الاصطناعي. كما علينا أن نقرر كيف نقيّم مساهمة المؤلف. فهل يجب إتاحة سجلات المحادثات للعامة، أو على الأقل للمحكّمين والمحررين؟
لكن لنعد إلى مبدأ التجزئة. ألقيتُ نظرة سريعة على المسودة الأولية التي نشرتها OpenAI، لكن ليس على شيفرة Lean، إذ كانت ضخمة وأنا ملم بقدر ضئيل بهذه اللغة. كانت المسودة غامضة ومرتبكة ذات بنية غريبة. فالمصطلحات كانت "غير دقيقة إلى حد ما"، وتضمنت نظريات لا أتوقع إثباتها، وصيغت بطريقة غريبة. كما أن الدليل 7.4 والدليل 8.1 ليسا مما يُتوقع رؤيته في ورقة كهذه.
وكانت المراجع إشكالية أيضًا. فقد استُشهد بورقة لي عن نموذج Bristol من أجل مقدمة أساسية للامتدادات المتماثلة، وهو ليس المرجع الذي كنت لأختاره. واستُخدمت ثلاث مذكرات محاضرات غير منشورة وغير محكّمة وغير مرفوعة على arXiv، من بينها مذكرة لي تشير إلى قضية أنا متأكد من ظهورها في أعمال منشورة. وهذا ليس ما يُتوقع من مسودة جادة تزعم حل مشكلة.
يمكن عادةً تصفح ورقة متمكنة في نظرية المجموعات خارج تخصصي لإدراك استراتيجيتها. أما في مجال خبرتي، أي مسلمة الاختيار، فأستطيع سريعًا معرفة ما قصده المؤلفون. لكن مع ورقة OpenAI كان ذلك مستحيلًا. فلو قُدمت إلى مجلة لوجب رفضها فورًا بسبب جودتها. فالمسؤولية تقع على عاتق المؤلف في الالتزام بمعايير التواصل الواضح، وقد أصدرت OpenAI مئات "الحلول" المكتوبة بصورة يتعذر فهمها.
المصدر: Hacker News · لخّصه HeadlinesBriefing