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

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

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

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

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

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

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

وإذا كنت لا تهتم بشكل خاص بالعالم القاتل للبراهين الرياضية عالية المخاطر، فلا تنسَ: مجالك التالي.

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

الوسوم: OpenAI، تريستان باكمستر، أنثروبيك، وسام فيلدز، معهد كاليفورنيا للتكنولوجيا، إعلان لايدن