عندما يبرهن AI النظريات: ماذا سيتبقى لعلماء الرياضيات من مهنتهم

لقد أنشأت Google DeepMind و OpenAI أنظمة قادرة على حل مسائل بمستوى الأولمبياد الدولي للرياضيات ونشر أبحاث أصلية بمستوى الدكتوراه. تواجه المجتمع الرياضي الآن سؤالاً بدا سخيفاً قبل خمس سنوات فقط: ما الذي سيبقى للإنسان عندما تثبت الآلة النظريات؟

الذكاء الاصطناعي يحقق الذهب الأولمبي

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

بالتوازي، تعلمت أنظمة LLM ترجمة الإثباتات البشرية تلقائياً إلى رمز رسمي لأدوات التحقق مثل Lean و Isabelle. كانت هذه العملية الشاقة تستغرق شهوراً من العمل سابقاً. نظام Gauss شكل بشكل مستقل خلال أسبوعين إثبات نظرية حزم المجالات في الفضاء رباعي وعشرين البعد، والتي حصلت عليها عالمة الرياضيات مارينا فيازوفسكايا على ميدالية فيلدز.

ثلاث مواقف والرعب الوجودي

في منتدى لوريات هايدلبرج في سبتمبر 2025، واجه علماء الرياضيات الشباب رؤية مرعبة للمستقبل. قدم المنصة تنبؤات حول أنظمة ذكاء اصطناعي فوق بشرية ستصيغ الفرضيات وتبني الإثباتات وتتحقق من النتائج بدون مشاركة بشرية. أعلن يانج هوي هي من معهد لندن للعلوم الرياضية: يواجه الناس خطر أن يصبحوا «كهنة يخدمون الأوراق». «شعرت أن الجميع حولي قلقون—ببساطة لم يفكروا بهذا البعد. كان الأمر وكأنه قنبلة كبيرة»، تقول عالمة الرياضيات جيسيكا راندال من مجموعات Google Developer. «بدأنا ندرك أن الذكاء الاصطناعي يمكن أن يحل محلنا.»

ظهرت ثلاث مواقف اليوم في المجتمع:

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

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

الأخطار: الدافعية والضمور

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

لهذا السبب ينظم المجتمع بالفعل ورش عمل ويكتب مقالات وينظر في قواعد استخدام الذكاء الاصطناعي في البحث والنشر.

«تعلمنا الرياضيات أن نفكر منطقياً وعقلانياً—هذا يساعد في جميع جوانب

الحياة»، تقول جيسيكا راندال.

ماذا يعني هذا

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