يجد علماء الرياضيات أنفسهم اليوم أمام معضلة معقدة مع صعود الذكاء الاصطناعي. فعلى الرغم من إسهاماته الجبارة، يثير استخدامه قضايا أخلاقية ومهنية شائكة. أحد الأمثلة البارزة هو عالم الرياضيات تريستان بكماستر، الذي يعتقد أن شركة أوبن إيه آي (OpenAI) استخدمت عمله للتقدم بسرعة وحل مشكلة رياضية أسطورية تُعرف باسم نافييه-ستوكس (Navier-Stokes) والتي تحمل مكافأة قدرها مليون دولار.
المثير للدهشة، أن هذا الادعاء لم يمنع بكماستر من الاستمرار في استخدام نماذج الشركة، وهو ليس الوحيد من علماء الرياضيات الذي يجد نفسه في هذا الموقف المعقد.
يُعرب بكماستر لصحيفة وايرد (WIRED) عن هذا التناقض قائلاً: إذا كنت لا تتفق مع كل هذا، فأنت عالق نوعًا ما. ونظرًا للفائدة الكبيرة للذكاء الاصطناعي، من الصعب جدًا منع نفسك تمامًا من استخدامه. ويضيف أن هذه الشركات تحتكر المجال، ولا توجد خيارات كثيرة.
خلال الأسابيع التي تلت اتهامه لـ OpenAI بتقليد منهجه، كان أستاذ جامعة نيويورك بكماستر يستخدم أداة Codex البرمجية التابعة للشركة لترتيب أوراقه البحثية. وفي الأوقات النادرة التي يجد فيها وقتًا لممارسة الرياضيات، ساعدته الأداة على فهم الخطوات المنطقية التي ربما اتبعها وكلاء OpenAI للانتقال من أعماله السابقة إلى الحل النهائي.
لم يكتف بكماستر بذلك، بل استخدم Codex إضافة إلى أداة كلود (Claude) المنافسة من شركة أنثروبيك (Anthropic) للعمل على مشكلة الوجود والنعومة في معادلات نافييه-ستوكس، بالتعاون مع الباحث ليفت ألبوج من أنثروبيك. يرى بكماستر أن OpenAI نشرت عشرات الآلاف من الوكلاء للوصول إلى الحل، ولكن فقط بعد أن علمت أن المعادلة كانت على وشك الحل البشري.
عندما كشف بكماستر عن ادعاءاته علنًا، أثار ذلك جدلاً واسعًا حول دور الذكاء الاصطناعي وما إذا كان سيهمش علماء الرياضيات البشر. دفعت هذه الاتهامات شركة OpenAI لإجراء تحقيق وتعديل إعلانها بشأن حل نافييه-ستوكس، مؤكدة أن مخطوطة بكماستر وأوراقه البحثية السابقة لتاريخ الإعلان لم يكن لها أي تأثير على نظامها، بما في ذلك عملية التدريب.
يعتقد بكماستر أن إظهار قدرة الذكاء الاصطناعي على تجاوز حدود الرياضيات كان أكثر أهمية من النتيجة بحد ذاتها. لكنه يصف تقديم حلول لمشكلات رياضية عويصة دون الإشارة الكافية للجهد البشري الذي يقف وراءها – خاصة قبل أي اكتتابات عامة أولية كبرى – بأنه عمل غير مسؤول و طفولي.
لم تقتصر هذه المخاوف على بكماستر وحده؛ فقد أثار علماء رياضيات آخرون قضايا مشابهة. على سبيل المثال، عالم الرياضيات الألماني أندرياس توم، الذي أمضى عقدين في تطوير تقنيات نظرية المجموعات الهندسية التي لا يفهمها سوى قلة قليلة في العالم. عندما أعلنت OpenAI في أغسطس الماضي أن نموذجها أسترا (Astra) استخدم تقنياته لإثبات مشكلة عكف عليها طويلاً، شعر توم بالدهشة وتساءل: كيف علموا بذلك؟
طلب توم توضيحات من باحثي OpenAI، مارك سيلك وسيباستيان بوبيك. وفي رسالة إلكترونية، أشار إلى أن تأكيد الشركة بعدم إحراز أي تقدم في المشكلة خلال العقد الماضي يتجاهل ورقته البحثية لعام 2019 وأعمال علماء رياضيات آخرين. عدلت الشركة بيانها الصحفي لاحقًا. كان توم وأحد زملائه يستخدمون ChatGPT للمساعدة في عملهم على حل المشكلة قبل أشهر من الإعلان عن النتيجة. وعندما سأل توم عما إذا كانت تفاعلاتهم قد أُدخلت في بيانات التدريب، أجاب سيلك: لم يحدث ذلك.
يتذكر توم قائلاً: لقد وضعت هذا الأمر جانبًا. أنا لست مهتمًا كثيرًا بهذه الأمور السياسية؛ أريد أن أعمل في الرياضيات.
ورغم أن توم اطلع على بيان OpenAI الذي يفيد بأن مزاعم بكماستر لا يمكن أن تؤثر على نظامهم، فإنه لا يثق في هذا الادعاء ويعترف بأنه ربما لن يعرف أبدًا ما إذا كان عمله قد ساهم فعلاً في النتائج. ويضيف: الذكاء الاصطناعي ينهي فكرة تتبع من ساهم بماذا. ربما يكون هذا قد انتهى بالفعل.
يمثل هذا تحولًا جذريًا عن المنهج العلمي التقليدي، حيث تخضع النتائج لمراجعة الأقران ويتم البناء على أعمال الآخرين مع التقدير الواجب. وبعيدًا عن مسألة الإسناد، فإن حقيقة عدم فهم البشر بشكل كامل لكل خطوة اتخذها عملاء OpenAI للوصول إلى حل نافييه-ستوكس تثير تساؤلات وجودية لعلماء الرياضيات، الذين يرون أن مجالهم يفلت من فهمهم الخاص.
يتساءل عالم الرياضيات في جامعة كورنيل، أليكس تاونسند، والمؤلف المشارك لكتاب مرتقب حول تطور هذا المجال: إذا أردت أن أقدم مساهمة في الرياضيات، كيف يمكنني أن أفعل ذلك كإنسان عادي اليوم بينما تنخرط شركات بمليارات الدولارات في هذه اللعبة؟
منذ أغسطس الماضي، لاحظ تاونسند أن العديد من زملائه بدأوا يتساءلون عما يحتاجون لمعرفته حول هذه التكنولوجيا وكيفية الحصول على اشتراكات للوصول إلى النماذج الأكثر قوة. ويعبر تاونسند عن شعوره قائلاً: أشعر بالحماس والقلق في آن واحد. متحمس لأنني أستطيع تحقيق أشياء لم أكن لأحققها بدونه، وقلق لأنني أتساءل: حسنًا، ما هو هدفي هنا؟
يُسلم توم بأن مجال دراسته يتغير، ويستمر في استخدام ChatGPT – مع تفعيل إعدادات الخصوصية لمنع استخدام عمله في تدريب النماذج – لتسريع عملية كتابة الأوراق البحثية، لأنه فعّال للغاية. (تؤكد OpenAI في عروضها للجامعات والمؤسسات أنها لا تستخدم بيانات المستخدمين لتدريب النماذج.)
وفيما يتعلق باستخدام عمله دون إسناد، يقول توم: إذا كان إنسان هو من فعل ذلك بنشاط، فسأكون غاضبًا جدًا. أما إذا تم سحب المعلومات إلى النموذج عبر خوارزمية لا يفهمها أحد بشكل كامل، فربما أستطيع التعايش مع ذلك.
بيد أن بعض علماء الرياضيات أقل تسامحًا. فقد وقع خمسة وعشرون من حائزي ميدالية فيلدز على رسالة مفتوحة تفيد بأن العلاقة بين شركات الذكاء الاصطناعي وعلماء الرياضيات منحرفة بشدة. كما وقع أكثر من 4000 شخص على إعلان لايدن (Leiden Declaration)، الذي يقدم سلسلة من التوصيات لضمان ألا يبتلع الذكاء الاصطناعي مجال الرياضيات.
يخشى بكماستر من أن يتم استخدام الذكاء الاصطناعي لتنقيح بعض الجمل، وفجأة تُدمج سنوات من عملك في بيانات التدريب وتباع لعالم رياضيات آخر أو طالب دراسات عليا. ويعتقد أن هذا هو القلق الرئيسي لمعظم علماء الرياضيات، ويصفه بأنه مشكلة حقيقية.
مع غياب الإشراف الفعال، واستمرار ترسيخ الذكاء الاصطناعي في هذا المجال، يسعى بعض علماء الرياضيات لإيجاد طريقة لكبح جماحه. وشمل ذلك دعوة أكثر من 2000 شخص لهم صلات بمعهد كاليفورنيا للتكنولوجيا لمنظمي هاكاثون الرياضيات والذكاء الاصطناعي في المعهد لتعليق الحدث. وقد رعت الهاكاثون شركتا أنثروبيك وOpenAI، على الرغم من انسحاب الأخيرة لاحقًا. ومع ذلك، قد تذهب أي محاولات لإبطاء هذا التطور أدراج الرياح، خاصة على المدى الطويل.
يقول توم: لا أعتقد أن هذا الأمر مستدام حقًا بسبب مكاسب الكفاءة الهائلة التي يوفرها الذكاء الاصطناعي. ويضيف أن أي عالم رياضيات، وخاصة الباحثين في بداية حياتهم المهنية، معرض لخطر العزلة إذا لم يستخدم الذكاء الاصطناعي لتسريع عمله. ويعتقد هو وبكماستر أن المجتمع بحاجة إلى البدء في التفكير في دلالات هذه التكنولوجيا لعلماء الرياضيات الشباب وكيفية تسهيل عملية الانتقال.
يبحث الجيل القادم من علماء الرياضيات بالفعل عن التوجيه؛ يقول تاونسند إن الطلاب يتساءلون عن شكل مستقبلهم الآن بعد أن أصبحت قدرات الذكاء الاصطناعي في حل المشكلات الرياضية هائلة.
يدعو بكماستر إلى وضع قواعد أساسية للرياضيات المعتمدة على الذكاء الاصطناعي، يحددها علماء الرياضيات ومختبرات الذكاء الاصطناعي معًا، تتضمن كيفية نشر النتائج والتأكد من صحة المراجع والإسناد. وهو نفسه يعتزم تنقيح الأوراق التي نشرها على عجل الأسبوع الماضي للتغلب على إعلان OpenAI، واصفًا إحداها بأنها متأثرة بأسلوب الذكاء الاصطناعي.
يقول: أتحمل مسؤولية تنقيح الأوراق التي نشرتها ولم تكن مكتملة، وأعتقد أن لدي مسؤولية شرح ما فعلناه لعلماء الرياضيات.
كما أنه منفتح لمناقشة هذا الأمر مع OpenAI، حيث يقول: لا أريد المشاركة في المعارك فقط. أما عن إمكانية العمل مع الشركة لحل مشكلة ما، فيجيب بابتسامة ساخرة: علينا أن نكون حذرين في ذلك.