ما يقوله البيان
وقّع خمسة وعشرون من حائزي ميدالية فيلدز بياناً بعنوان “A Severe Misalignment of AI in Mathematics”، نُشر على مدوّنة تيرينس تاو في 11 سبتمبر. وادعاؤه المركزي صريح: “إن اندفاع شركات الذكاء الاصطناعي إلى حل المسائل الرياضية بوصفها معياراً للقياس ضارّ بعلم الرياضيات وبمجتمع الرياضيات.”
لا يقول الموقّعون إن البراهين التي تنتجها الآلات بلا قيمة. بل يقولون إن البرهان ليس هو المقصد. فحل المسائل، بحسب البيان، “ليس سوى أداة وبديل لبلوغ الهدف الأساسي: الفهم المفاهيمي والبصيرة” — وهذا الهدف تحديداً هو ما تتخطاه دورة الإعلانات الحالية.
الشكوى المحددة تتعلق بالسرعة
الآلية التي يصفها علماء الرياضيات إجرائية أكثر منها فلسفية. يقول البيان: “كثيراً ما يُعلَن عن هذه الحلول على عجل، بما لا يترك وقتاً لصياغة سليمة، ولا لعزل المناهج والأفكار الجديدة، ولا للإشارة إلى الأعمال السابقة ذات الصلة.” وتثير هذه العجلة، كما يكتبون، أسئلة خطيرة حول الإسناد والانتحال.
وخلف ذلك مشكلة من درجة ثانية. فالنتيجة تدخل الرياضيات حين يقرأها رياضيون آخرون ويتحققون منها ويعمّمونها ويدرّسونها. ويصوغ البيان ذلك هكذا: من دون “الرياضيين الراغبين الذين عليهم رعاية تطويرها وإدماجها في المتن الرياضي، لما صارت الأفكار التي يولّدها الذكاء الاصطناعي حيّة تماماً.” ومجتمع يشعر بأنه مُستبعَد من العملية تضعف دواعيه للقيام بذلك العمل.
من وقّع
يمتد الموقّعون عبر دفعات ميدالية فيلدز من 1978 حتى حفل هذا العام، ومنهم تيرينس تاو، وبيير دولين، ومكسيم كونتسيفيتش، وبيتر شولتسه، ومارينا فيازوفسكا، وكوشر بيركار، وجون هوه، ومارتن هايرر، وجيمس ماينارد، ومانجول بهارغافا، والحائز لعام 2026 يو دينغ. وبالنسبة لجائزة تُمنح لأربعة أشخاص على الأكثر كل أربع سنوات، فإن خمسة وعشرين اسماً تقارب مجموع الحائزين الأحياء في العقود الأخيرة.
الشهر الذي أنتجه
يأتي البيان بعد أسبوعين من الاحتكاك العلني. ففي 8 سبتمبر، قال أستاذ جامعة نيويورك تريستان باكماستر إن أوبن إيه آي ضغطت عليه كي لا ينسب الفضل إلى متعاون من أنثروبيك في حل مسألة مهمة، وتساءل عمّا إذا كانت الشركة قد استندت إلى عمل أُنجز بكودكس عند تطوير برهانها، بحسب تك كرانش. وفي 11 سبتمبر، اليوم نفسه الذي صدر فيه البيان، سحبت أوبن إيه آي تمويلها لفعالية رياضيات في كالتك بعد انتقادات وجّهها باحثون في الجامعة.
ويأتي ذلك بعد سلسلة إعلانات ادّعت فيها مختبرات الذكاء الاصطناعي نتائج في مسائل قديمة، من بينها عمل أوبن إيه آي على معادلات نافييه-ستوكس وصياغة أنثروبيك الصورية لمبرهنة فيرما الأخيرة.
ما الذي يطالبون به
المطالب محددة، وإجرائية بشكل لافت: ممارسات إفصاح مسؤول من شركات الذكاء الاصطناعي، وإشارة سليمة إلى الأعمال السابقة، ونتائج مطوَّرة بما يكفي كي يستوعبها الرياضيون من البشر، وما يسميه البيان حواراً عاجلاً بين مجتمع الرياضيات ومطوّري التقنية والمجتمع.
لا شيء من ذلك يقتضي أن يتوقف مختبر عن العمل في الرياضيات. لكنه يقتضي أن يصل الإعلان ومعه صياغة مكتوبة، وهو إيقاع أبطأ مما يكافئه جدول المعايير. واختبار ما إذا كان هذا سيغيّر شيئاً هو النتيجة المُدّعاة التالية: هل تُنشر مع مراجع وورقة بحثية، أم تُعلن أولاً وتُوثَّق لاحقاً.
