هيمنة الذكاء الاصطناعي على الرياضيات: واقع جديد يعيد رسم ملامح الاكتشاف البشري
هيمنة الذكاء الاصطناعي على الرياضيات: واقع جديد يعيد رسم ملامح الاكتشاف البشري
ألقى التطور المتسارع للذكاء الاصطناعي بظلاله العميقة على أحد أقدم التخصصات البشرية وأبطئها تكيّفاً، وهو مجال الرياضيات. فبينما يكرس علماء كبار حياتهم لحل ألغاز استعصت على الأكاديميين لعقود، تقف الآلة اليوم لتقتحم هذه الحصون المنيعة بسرعة مذهلة، مسببة حالة واسعة من المزيج المعقد بين الحماس العارم، والقلق العميق على مستقبل هذا الحقل العلمي الأصيل.
إنجازات غير مسبوقة: عندما تسقط المسائل العالقة
في تطور لافت، كشفت شركة OpenAI مؤخراً عن إنتاج حلول لعشر مسائل رياضية استعصت على الحل لأزمنة طويلة، وذلك باستخدام نموذج متقدم يُعرف باسم Astra. لم تكن هذه المسائل مجرد تمارين تافهة، بل شملت قطاعات واسعة تتراوح بين المجالات الأكثر تجريداً والمسائل ذات التطبيقات العملية البالغة الأهمية:
هندسة الفضاء والبيانات: حل إنجاز متعلق بكيفية ترتيب الكرات بإحكام في أكثر من ثلاثة أبعاد، وهي مسألة وثيقة الصلة بكفاءة ترميز البيانات ونقلها.
رموز تصحيح الأخطاء: دفع حدود هذه الرموز للمساعدة في استرجاع المعلومات من إشارات مشوشة بدقة أكبر.
الشبكات المعقدة ونظرية الألعاب: معالجة مسألتين طويلتي الأمد حول مدى تعقيد الشبكات المترابطة قبل ظهور أنماط هيكلية، فضلاً عن نتائج في نظرية الألعاب الكمومية وأمن الشبكات عالية الأبعاد.
المجموعات غير الصوفية (Non-sofic groups): حسم الجدل حول وجود هياكل رياضية لا نهائية لا يمكن تقريبها بهياكل منتهية، وهو سؤال ظل مفتوحاً لعقود.
ولم تقف الأمور عند حدود نموذج Astra؛ ففي شهر مايو، أذهلت OpenAI الأوساط الرياضية بحل حدسية لبول إردوش استعصت على الرياضيين لقرن تقريباً، تلاها في يوليو إعلان عالم الرياضيات في هارفارد ليفنت ألبوجي أن نموذج Claude Fable 5 من شركة Anthropic قد دحض حدسية Jacobian بمثال مضاد صغير، منهياً عقوداً من الجهود المضنية.
جدل الإسناد: بين إبداع الآلة وعمل البشر
أثارت هذه الإنجازات المتتالية تساؤلات ملحة حول حقوق الملكية الفكرية والجهد البشري المتراكم. فعلى سبيل المثال، أثار حل مسألة “المجموعات غير الصوفية (Non-sofic groups)” جدلاً واسعاً حول مقدار الفضل المستحق لذكاء OpenAI الاصطناعي مقارنة بعلماء الرياضيات البشر الذين بُنيت النتائج على أعمالهم السابقة.
عبر باحثون بارزون، مثل غابور كون من معهد ألفريد ريني للرياضيات في المجر وفرانشيسكو فورنييه-فاسيو من جامعة كامبريدج، عن استيائهم من صياغة إعلانات الشركات التقنية التي قد تقلل أحياناً من دور الأبحاث الأساسية التي مهدت الطريق لهذه الاختراقات. وبعد التواصل مع المعنيين، اضطرت OpenAI لتعديل صياغة منشوراتها للاعتراف بأن براهينها اعتمدت بشكل حاسم على أعمال رياضية نُشرت مؤخراً للباحثين البشر.
التحقق وصعوبة التقييم في عالم فائق التخصص
تتجلى إحدى أكبر عقبات العصر الحالي في مدى تعقيد الرياضيات المعاصرة؛ فقد أصبحت متخصصة لدرجة أن عددًا قليلًا جدًا من الباحثين يمتلكون الكفاءة الكاملة لفحص جميع المجالات التي تناولتها نماذج مثل Astra.
ولمواجهة هذا التحدي، أصدرت OpenAI أكثر من 250 صفحة من الأوراق البحثية وثّقت الحلول، مدعومة بـ 60 صفحة إضافية تصف آلية تجمعت الأفكار، مع إخضاع كل نتيجة للتحقق عبر برنامج Lean المتخصص في البراهين الرياضية. ورغم أن العديد من الرياضيين يعجزون عن تقييم كافة الحلول بأنفسهم، إلا أن الإجماع العام يتجه نحو الاعتراف بالوزن الحقيقي والفعلي لهذه الإنجازات.
أزمة التكلفة ومستقبل الأكاديميا الرياضية
إلى جانب التحديات المعرفية، تبرز المخاوف المالية والاقتصادية كهاجس رئيسي للباحثين. تشير التقديرات إلى أن إنتاج حلول Astra العشر كلف نحو 2000 دولار من الرموز وفق أسعار واجهات البرمجة الحالية، مع احتمالية أن تكون التكلفة الحقيقية أعلى بناءً على عدد المحاولات السابقة للنجاح.
بالنسبة لمجال طالما اعتمد على ميزانيات متواضعة وجهود فردية بحتة، فإن دخول التكنولوجيا المتقدمة ذات التكاليف الاستثمارية الكبيرة قد يقلب النماذج التقليدية للتمويل الأكاديمي والتوظيف رأساً على عقب، مما يدفع المجتمع الرياضي بأسره إلى التساؤل الملح حول شكل ومستقبل هذا التخصص الحيوي في السنوات القادمة.
