مستقبل أبحاث الرياضيات البحتة في عصر الذكاء الاصطناعي

الذكاء الاصطناعي كمساعد في البحث الرياضي

مقال 28 سبتمبر 2026 يدحض فكرة أن الذكاء الاصطناعي القوي سيجعل الباحثين البشر زائدين. الذكاء الاصطناعي مفيد في البحث في الأدبيات وربط النتائج وأتمتة الأعمال الروتينية.

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

هذا ما يميز الذكاء الاصطناعي عن الحساب البحت: الذكاء الاصطناعي يستخدم المعرفة الموجودة، بينما الحساب يخلق نتائج جديدة من القواعد أو البديهيات. وبسبب عدم قابلية الحساب للاختصار، لا توجد طرق مختصرة لعمليات القواعد البسيطة ويجب تنفيذ كل خطوة.

لماذا تعتبر المفاهيم البشرية مهمة

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

يطلق المصدر على الحد المتشابك لجميع العمليات الحسابية الممكنة اسم ruliad. العقل المحدود يدرك جزءًا منه فقط، لذا لا توجد رياضيات مطلقة مستقلة عن المراقب. تختار المجتمعات اتجاهات وتلخص النتائج بمفاهيم محدودة، كما تختار اللغات كلمات للمعنى.

تحدي الصياغة الرسمية

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

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

لغة حسابية للرياضيات البحتة

جارٍ توسيع Wolfram Language في الرياضيات البحتة، بما في ذلك الأشكال ومجموعات لي وجبر كليفورد. الهدف هو لغة مقروءة ودقيقة للبشر والذكاء الاصطناعي. في العملية المقترحة، يترجم الذكاء الاصطناعي الحجة إلى Wolfram Language حيث يمكن للباحث التحقق منها وتعديلها.

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