مختصو رياضيات يضعون قواعد لنشر نتائج AI في الرياضيات

المجموعة المستقلة العاملة في قضايا الرياضيات والذكاء الاصطناعي (agmai.org) نشرت في 29 سبتمبر توصيات حول كيفية نشر مختبرات AI للنتائج الرياضية التي تنتجها النماذج. أُعدّت وثيقة «Responsible Release of AI-Generated Mathematics» استنادًا إلى أكثر من 600 رد من المجتمع الرياضي.

يعلن المؤلفون من البداية أنهم لا يؤيدون الممارسة التي تختبر فيها مختبرات AI الرائدة مسائل رياضية صعبة على نماذج غير متاحة علنًا، ويدعونها إلى وقف ذلك.

لماذا هذا مهم

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

مساران للنشر

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

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

لكل نتيجة، على المختبر نشر اسم النموذج، والمطالبات (prompts) المستخدمة، وملخص سلسلة التفكير، والوقت المستغرق، والتكلفة الحسابية التقديرية. إذا نُشرت نتائج كثيرة في وقت واحد، فمن الضروري وثيقة منفصلة تشير إليها جميعًا وتوضح عدد المسائل المشابهة في الصعوبة التي فشل النموذج في حلها وكيف اختيرت المسائل.

التمويل والوصول الواسع

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

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