في أغلب فترات القرن الماضي، لم تتغير ممارسة الرياضيات إلا بشكل طفيف. يلاحظ عالم الرياضيات نمطًا ما، ويكتب حدسًا، ويقضي شهورًا أو سنوات في إنشاء برهان، ويتحقق علماء الرياضيات الآخرون منه. الآن، وفقًا لتقرير متعمق بقلم بنجامين سكوز في IEEE Spectrum، بدأ الذكاء الاصطناعي في تجاوز تلك العملية التداولية البطيئة ويجبر المجال على مواجهة ما يعنيه في الواقع أن تكون عالم رياضيات.
يتتبع المقال، الذي نُشر في 25 يونيو 2026، مدى سرعة تطور النماذج اللغوية الكبيرة مما رفضه النقاد ذات مرة باعتبارهم ببغاوات عشوائية إلى محركات تفكير رياضية حقيقية وما يعنيه هذا التحول بالنسبة للبشر الذين قاموا دائمًا بهذا العمل. لمزيد من السياق حول هذه القصة، راجع أحدث تطورات الذكاء الاصطناعي.
بصمة الذكاء الاصطناعي سريعة النمو في الرياضيات
لقد ساهمت الحوسبة في تسريع الرياضيات لعقود من الزمن. جاءت نقطة التحول قبل 50 عامًا تقريبًا، عندما تم استخدام الكمبيوتر لإثبات نظرية الألوان الأربعة، والتي تتساءل عما إذا كان من الممكن تلوين أي خريطة بما لا يزيد عن أربعة ألوان بحيث لا تشترك أي منطقة مجاورة في اللون. وكانت الإجابة نعم، لكن الدليل كان مثيرا للجدل لأنه اعتمد على فحص 1936 حالة لم يتمكن أي إنسان من التحقق منها يدويا بشكل واقعي.
وحتى خلال تلك الحقبة الحسابية، ظل عالم الرياضيات البشري محوريًا، حيث يقترح التخمينات، ويضع الاستراتيجيات، ويتحقق من النتائج. ويتحدى الذكاء الاصطناعي الآن هذا الترتيب بشكل مباشر. في الصيف الماضي، وصلت أنظمة Google DeepMind وOpenAI إلى مستوى يعادل طلاب المدارس الثانوية الأكثر موهبة في الرياضيات في العالم، وحصلت على الميدالية الذهبية في الأولمبياد الدولي للرياضيات (IMO)، وهي المنافسة السنوية حيث يجب على المتسابقين حل ست مسائل صعبة السمعة.
ظلت المعالم تتسارع. في وقت سابق من عام 2026، أنتج نظام Google DeepMind التجريبي Aletheia بشكل مستقل نتائج بحثية قابلة للنشر على مستوى الدكتوراه. على الرغم من أن العمل نفسه غامض رياضيًا، وهو حساب ثوابت البنية في الهندسة الحسابية، إلا أن أهميته تكمن في التفكير المعقد المطلوب لمعالجة مشكلة لم يتم حلها سابقًا. وفي الآونة الأخيرة، دحض نظام ذكاء اصطناعي جديد للأغراض العامة من شركة OpenAI تخمينًا مهمًا في الهندسة التوافقية، وهي النتيجة التي أشاد بها كبار علماء الرياضيات باعتبارها علامة فارقة في هذا المجال وكانت تستحق النشر في مجلة كبرى.
مساعدو الإثبات واختناق إضفاء الطابع الرسمي
التحول الثاني جاء من إقران النماذج اللغوية الكبيرة بمساعدي الإثبات. أنظمة مثل Isabelle و Lean و Rocq هي لغات برمجة متخصصة تقوم بفحص البراهين الرياضية خطوة بخطوة، والتحقق من صحتها المنطقية. لأكثر من عقد من الزمان، كان عنق الزجاجة هو إضفاء الطابع الرسمي، وهي العملية الشاقة لترجمة النظريات والبراهين يدويًا إلى كود يمكن قراءته آليًا.
بدأت LLMs في إزالة هذا الاختناق عن طريق أتمتة ترجمة البراهين غير الرسمية إلى كود رسمي يمكن لمساعدي البرهان التحقق منه. في فبراير، استخدمت شركة Math, Inc. للذكاء الاصطناعي وكيلها المنطقي، المسمى Gauss، لإضفاء الطابع الرسمي على العمل الذي أكسب مارينا فيازوفسكا من EPFL وسام فيلدز في عام 2022. ساعد غاوس أولًا علماء الرياضيات البشريين على إكمال إضفاء الطابع الرسمي على حل فيازوفسكا لمشكلة التعبئة الكروية ذات الأبعاد الثمانية في غضون أيام، ثم إضفاء الطابع الرسمي بشكل مستقل على الحالة الأكثر تعقيدًا ذات 24 بُعدًا في أسبوعين فقط.
تشير مثل هذه الإنجازات إلى أن الذكاء الاصطناعي يتعامل بالفعل مع المهام التي طالما اعتبرت بشرية بشكل فريد، وأن الكثير من العمل اليومي لعالم الرياضيات قد يصبح قريبًا لعبة عادلة للأتمتة.
علماء الرياضيات يناقشون ما إذا كانوا سيصبحون "كهنة النبوءات"
في تقريره عن منتدى Heidelberg Laureate الثاني عشر في سبتمبر 2025، يصف Skuse القلق الواضح لدى الجمهور حيث وصف المتحدثون مستقبلًا تشكل فيه أنظمة الذكاء الاصطناعي الخارقة التخمينات، وتبحث عن مساحات الحلول، وتثبت النظريات، وتتحقق من البراهين، وتعمم النتائج دون تدخل بشري.
حذر يانغ هوي هي من معهد لندن للعلوم الرياضية من أن علماء الرياضيات من البشر يمكن أن يصبحوا * "كهنة للنبوءات". وقالت جيسيكا راندال، عالمة الرياضيات في Google Developer Groups، إنها شعرت بالخوف الوجودي الجماعي المتزايد بين الباحثين الشباب. وقالت لـ IEEE Spectrum*: "لقد بدأنا بالتأكيد ندرك أن الذكاء الاصطناعي لديه القدرة على أن يحل محلنا".
ليس الجميع منزعجين. إن بعض علماء الرياضيات الراسخين يريدون ببساطة الحصول على إجابات لأكبر الأسئلة المفتوحة، مثل مسائل جائزة الألفية الستة المتبقية، بغض النظر عمن أو ماذا ينتج عنها. لاحظ جيريمي أفيجاد من جامعة كارنيجي ميلون أن "الكثير من علماء الرياضيات واقعيون ويريدون فقط أن يفهموا". "إنهم سيبيعون أرواحهم من أجل حل مشكلة ما."
ثلاث رؤى متنافسة للمستقبل
يحدد تقرير IEEE Spectrum ثلاث رؤى واسعة لكيفية التعايش بين الرياضيات والذكاء الاصطناعي.
الأول هو وجهة نظر تتمحور حول الإنسان وتعطي الأولوية للفهم البشري وتتعامل مع الذكاء الاصطناعي كأداة، مثل الآلة الحاسبة إلى حد كبير. يرى أكشاي فينكاتيش الحائز على ميدالية فيلدز وعالم الرياضيات في برينستون أن الرياضيات هي في جوهرها وسيلة للتوصل إلى اتفاق. وقال: "في بعض الأحيان، أعتقد أنه عندما نستخدم الأرقام، فإننا لا نصف ظواهر عددية في جوهرها، ولكن يمكننا جميعًا أن نتفق بالضبط على ما تعنيه الأرقام".
ويؤكد الثاني على تجربة النضال الإنسانية غير القابلة للاختزال. تقول مايا فريزر من جامعة أوتاوا إن دليل الذكاء الاصطناعي على التخمين العنيد لا يكون مفيدًا إلا إذا كان مفهومًا للناس. واعترفت بأن "إمكانية إثبات هذا البيان بواسطة الذكاء الاصطناعي هي بالفعل معلومات مفيدة". "لكن لا تزال هناك مشكلة مفتوحة للتوصل إلى دليل بشري أنيق وجميل."
والثالث، وربما الأكثر طموحًا، يأتي من تيرينس تاو من جامعة كاليفورنيا، الذي شارك لأول مرة في أولمبياد الرياضيات عندما كان في العاشرة من عمره، وهو الآن أحد أكثر علماء الرياضيات حصولًا على الأوسمة على قيد الحياة. يرى تاو أن الذكاء الاصطناعي هو المحفز لما يسميه "الرياضيات الكبيرة"، وهو مستقبل من التعاون اللامركزي واسع النطاق بين البشر والآلات، حيث يتم تقسيم المشكلات المعقدة إلى أجزاء، حيث يتولى البشر العمل الإبداعي ويتعامل الذكاء الاصطناعي مع العمل الفني الشاق.
انضباط يسأل عن سبب وجوده
وما يجعل هذه اللحظة غير عادية هو أن المناقشة لم تعد افتراضية. لقد حصلت أنظمة الذكاء الاصطناعي بالفعل على ميداليات ذهبية من المنظمة البحرية الدولية (IMO)، وتنتج أبحاثًا قابلة للنشر، ودحض التخمينات، وتضفي الطابع الرسمي على البراهين الحائزة على ميدالية فيلدز في أيام وليس سنوات.
بالنسبة لطلاب مثل تريل وايت من جامعة ديكين الأسترالية، الذين حضروا منتدى هايدلبيرج، كان هذا الإدراك صعبًا. يتذكر وايت تفكيره قائلاً: "هذا أمر مدمر". "ما الذي سيساهم به الناس في الرياضيات؟ هل ستصبح شيئًا لا يفهمه أحد؟"
الجواب لم يحسم بعد. ولكن كما توضح تقارير Skuse، فإن الرياضيات، وهي واحدة من أقدم التخصصات الفكرية للإنسانية، تواجه الآن نفس السؤال الذي يعيد تشكيل كل مجال يمسه الذكاء الاصطناعي تقريبًا: عندما تتمكن الآلة من القيام بالعمل، فما هو الغرض من هذا العمل في الواقع؟
المصدر: بنيامين سكوز، "ماذا يعني أن تكون عالم رياضيات عندما يقوم الذكاء الاصطناعي بالرياضيات،" IEEE Spectrum، 25 يونيو 2026.---
ابق على اطلاع بأخبار الذكاء الاصطناعيآخر أخبار وتحليلات وإنجازات الذكاء الاصطناعي — في مكان واحد.
اقرأ المزيد من أخبار الذكاء الاصطناعي →
