From Authorial Mathematics to Studio Mathematics:Ecobiontic Forms of Proof after Large Language Models
تقترح هذه الورقة مفهوم "الكائن الحي البيئي الاستوديو" (studio ecobiont) —وهو تجمّع بشري-آلي لإنتاج البراهين الرياضية— وتجادل بأن شرعيته المعرفية تعتمد على شروط حوكمة محددة تضمن تتبع الأصل، وإعادة بناء الكفاءة البشرية، والفعالية في السلطة، بدلاً من اعتماده على أي تفوق سببي متأصل على الممارسات التأليفية التقليدية.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
لطالما كانت الرياضيات حرفةً للعقل الفردي. فلقرون مضت، كانت الطريقة القياسية لإنتاج حقيقة رياضية جديدة هي أن يعمل شخص واحد، أو ربما فريق صغير، على حل مسألة ما باستخدام اللغة والرموز وحكمهم الخاص. كانوا يكتبون برهاناً، ثم يقوم مجتمع الرياضيين الآخرين بقراءته، والتحقق من المنطق، وتقرير ما إذا كان صحيحاً. يعتمد هذا النموذج "التأليفي" على فكرة أن الشخص الذي يكتب البرهان هو من يفهمه حقاً. ومع ذلك، فإن المشهد يتغير. فالبرامج الحاسوبية القوية، المعروفة بنماذج اللغات الكبيرة، يمكنها الآن توليد حجج رياضية، واقتراح حلول، وحتى كتابة كود برمجي يتحقق من عمله ذاتياً. وهذا يثير سؤالاً صعباً: إذا ساعدت آلة في كتابة برهان، فمن الذي "يعرف" الرياضيات حقاً؟ هل تظل النتيجة إنجازاً بشرياً، أم أصبح الإنسان مجرد شخص صوري؟
يستكشف بحث جديد لأوليفر لوبيز-كورونا هذا المشهد المتغير. يجادل المؤلف بأننا ننتقل من عالم المؤلفين المنفردين إلى نوع جديد من وحدات الإنتاج يسمى "الاستوديو". في هذا الاستوديو، يعمل البشر والحواسيب والمكتبات البرمجية معاً كفريق واحد. لا يدعي البحث أن الآلات تسيطر على المشهد أو أن الرياضيين البشر أصبحوا عفا عليهم الزمن. بدلاً من ذلك، يتساءل عما يجب توفره من شروط ليُعتبر هذا الفريق الجديد (بشر-آلة) طريقة مشروعة ومسؤولة لممارسة الرياضيات. والنتيجة المركزية هي أن الفريق البشري-الآلي يكون صالحاً فقط إذا كان بإمكان البشر المسؤولين فهم العمل حقاً، وإيقافه إذا كان خاطئاً، وتحمل المسؤولية عنه. وإذا لم يتمكنوا من فعل ذلك، يطلق البحث على النتيجة وصف "الاستوديو المتدهور"، حيث يكون الوجود البشري مجرد مراسم لا سلطة حقيقية لها.
يبدأ البحث بالإقرار بأن الرياضيات كانت دائماً نشاطاً اجتماعياً، يعتمد على المعلمين والمجلات والتقاليد المشتركة. لكن البرهان المنشور كان يُنسب عادةً إلى مؤلف محدد. ويُوثق بهذا المؤلف لأنه بذل الجهد لفهم النتيجة. ويقترح مؤلف هذا البحث أنه مع وصول الذكاء الاصطناعي المتقدم، نحتاج إلى طريقة جديدة للتفكير في من يتحمل المسؤولية. وقد قدم مفهوماً يسمى "CIMA ecobiont" (الكائن التكافلي CIMA). وهو مصطلح معقد يشير إلى مجموعة مترابطة بشدة من الأشخاص والأدوات التي تعمل معاً لإنشاء وفحص ومشاركة الأفكار الرياضية. يرمز "CIMA" إلى أربعة أشياء تقوم بها المجموعة: الحوسبة (القيام بالحسابات)، والاستدلال (استخلاص النتائج)، والنمذجة (إنشاء تمثيلات للمشكلة)، والعمل (نشر النتيجة). ويعامل البحث هذه المجموعة ليس كمجموعة من الأجزاء المنفصلة، بل كنظام حي واحد حيث يرتبط الإنسان والآلة ارتباطاً وثيقاً.
ومع ذلك، فإن مجرد كون الإنسان جزءاً من المجموعة لا يعني أن المجموعة آمنة أو جديرة بالثقة. ويرسم البحث خطاً فاصلاً بين الاستوديو "المحكوم" والاستوديو "المتدهور". في الاستوديو المحكوم، يمتلك المشاركون البشريون سلطة حقيقية؛ إذ يمكنهم النظر في الخطوات التي اتخذها الحاسوب وشرح سبب عملها. وإذا وجدوا خطأً، يمكنهم منع نشر النتيجة. كما يمكنهم أيضاً أخذ الفكرة وتطبيقها على مشكلة مختلفة ليروا ما إذا كانت ستصمد أم لا. أما في الاستوديو المتدهور، فقد يوقع البشر على الورقة أو يضغطون على زر "النشر"، لكنهم لا يستطيعون شرح العمل أو إيقاف خطأ ما. إنهم مجرد ناقلين للرسالة. ويجادل البحث بأن هذا التمييز أمر بالغ الأهمية؛ فإذا لم يستطع الرياضي إعادة بناء المنطق وراء نتيجة ما، فهو ليس مؤلفاً حقيقياً، ولا ينبغي التعامل مع النتيجة كإنجاز بشري.
لاختبار هذه الأفكاي، ينظر المؤلف إلى أربع أمثلة واقعية لكيفية ممارسة الرياضيات اليوم. أحد الأمثلة هو مشروع "Polymath"، حيث عمل العديد من الرياضيين معاً عبر الإنترنت؛ ويصنف البحث هذا كتعاون تقليدي وليس استوديو، لأنه لم يعتمد على الذكاء الاصطناعي التوليدي لإنشاء الأفكار الأساسية. مثال آخر هو تجربة "Liquid Tensor"، حيث استخدم البشر برنامجاً حاسوبياً للتحقق من برهان معقد للغاية؛ وقد كانت هذه التجربة "وشيكة الفشل" في أن تكون استوديو، إذ افتقرت إلى عنصر الذكاء الاصطناعي التوليدي الذي يميز نموذج الاستوديو الجديد رغم وجود الاتصال بين الإنسان والآلة. ثم هناك تجارب أحدث حيث ولّد الذكاء الاصطناعي أفكاراً رياضية قام البشر بعد ذلك بفحصها. وفي بعض هذه الحالات، وجد البحث أن الدور البشري كان غير واضح. وفي حادثة محددة تتعلق بمثال مضاد ولّده نموذج ذكاء اصطناعي، لاحظ البحث أنه بينما تحقق الحاسوب من الرياضيات، كان من الصعب معرفة ما إذا كان البشر قد فهموا الفكرة حقاً أم اكتفوا بقبول كلمة الحاسوب. تُظهر هذه الحالات أن وجود حاسوب للمساعدة لا يجعل العملية تلقائياً "استوديو" صالحاً؛ إذ يجب أن يظل البشر هم المسيطرون.
يتناول البحث أيضاً القلق من أن هذه الطريقة الجديدة في العمل قد تدمر جمال وإبداع الرياضيات. فغالباً ما يقدر الرياضيون البرهان ليس فقط لكونه صحيحاً، بل لكونه أنيقاً أو يكشف عن حقيقة عميقة. ويجادل المؤلف بأن الاستوديو يمكنه لا تزال الحفاظ على هذا الجمال، ولكن فقط إذا كان البشر أحراراً في الحكم على العمل. فإذا كان الفريق يحاول فقط دفع الحاسوب لإنهاء برهان بأسر السرعة الممكنة، فقد يفقدون الإحساس بما يجعل الرياضيات جيدة. الهدف هو استخدام الحاسوب للتعامل مع المهام المملة والمتكررة من التدقيق، حتى يتمكن البشر من التركيز على الصورة الكبيرة، والتفسيرات، والخيارات الإبداعية. لكن هذا لن ينجح إلا إذا كان البشر هم من يقومون بالتفكير فعلياً.
أخيراً، يقدم البحث طريقاً للمضي قدماً للمجتمع الرياضي. ويقترح أنه لا ينبغي لنا حظر هذه الأدوات، ولا قبول كل ما تنتجه بشكل أعمى. بدلاً من ذلك، نحتاج إلى قواعد جديدة. فعند نشر برهان ما، يجب أن يكون هناك سجل واضح لمن فعل ماذا. يجب أن نعرف أي الأجزاء كُتبت بواسطة بشر، وأيها اقترحه الحاسوب، ومن يملك السلطة لقول "هذا خطأ" وإيقاف العملية. يقترح البحث نوعاً من "التدقيق" حيث يجب على الفريق إثبات فهمهم للعمل قبل إصداره. يضمن هذا أنه حتى في عالم مليء بالآلات القوية، يظل العقل البشري هو مصدر الفهم والمسؤولية. ويخلص البحث إلى أن مستقبل الرياضيات لا يتعلق باستبدال البشر بالروبوتات، بل ببناء نوع جديد من الشراكة حيث يظل البشر هم المتحكمون، لضمان أن الرياضيات التي ننتجها ليست صحيحة فحسب، بل مفهومة حقاً.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.