- مقدمة حول الإنجازات في الرياضيات
- تفاصيل المسائل الرياضية المعقدة
- المراجعة الآلية والتحقق الرسمي
- انتقادات الخبراء ونقص الشفافية
- الخطوات القادمة وتحديات السلامة
- الفرق بين حل المسائل وبناء نظرية
- أسئلة شائعة
مقدمة حول الإنجازات في الرياضيات
أعلنت شركة التكنولوجيا والأبحاث الرائدة «أوبن أي آي» في مطلع شهر أغسطس الجاري، وبثقة كبيرة أثارت ضجة واسعة واهتماماً بالغاً، أن عائلة نماذج الذكاء الاصطناعي الجديدة والخاصة بها والمسماة «أسترا»، والتي لم يتم طرحها رسمياً للاستخدام العام أو التجاري بعد، قد تمكنت بنجاح لافت من إنتاج حلول مبتكرة لعشر مشكلات رياضية مفتوحة ومعقدة للغاية كانت مستعصية على الحل من قبل العلماء لفترات طويلة. وقد شملت هذه الحلول مجالات بالغة التعقيد والتجريد في علوم الرياضيات البحتة وعلوم الكمبيوتر النظرية المتقدمة. ولإثبات مصداقيتها في هذا الإنجاز العلمي، قامت الشركة بإصدار مخطوطة علمية مفصلة وموثقة تقع في 249 صفحة كاملة، مرفقة بشهادات إثبات رياضية رسمية تم التحقق منها بشكل آلي بالكامل باستخدام برنامج الإثبات المتطور «لين 4»، وتم نشر كل هذه الوثائق للعموم عبر مستودعات منصة «جيت هاب» الشهيرة للمطورين لمراجعتها وتقييمها. وفي خطوة تهدف إلى إبراز الكفاءة الاقتصادية الفائقة والقوة الحاسوبية لهذا الاختراق العلمي، أفادت الشركة في بيانها التوضيحي بأن التكلفة الإجمالية للحوسبة اللازمة للوصول إلى هذه النتائج المذهلة بلغت حوالي 2000 دولار أمريكي فقط لا غير، وذلك بناءً على أسعار واجهة برمجة التطبيقات الخاصة بنموذج «جي بي تي 5 6 سول» الفائق والمتقدم الذي تعتمد عليه الشركة.
تفاصيل المسائل الرياضية المعقدة
وفقاً لما ورد بالتفصيل في التدوينة الرسمية الصادرة عن الشركة، فقد أثمرت عمليات ومعالجات نموذج «أسترا» عن تحقيق تقدمات غير مسبوقة واكتشافات حقيقية في مجالات شديدة التخصص والتعقيد الهندسي. فقد شملت هذه الإنجازات المذكورة إيجاد حدود جديدة في نظرية تعبئة الكرات وتكديسها في الفراغات عالية الأبعاد بشكل منتظم، واكتشافات مهمة في نظرية تصحيح الأخطاء البرمجية والرياضية المتقدمة، بالإضافة إلى بناء أول مجموعة غير صوفية واضحة ومحددة المعالم، وهو بناء رياضي معقد ومحير ظل يمثل لغزاً رياضياً ويثير تساؤلات مفتوحة في أوساط علماء الرياضيات والباحثين منذ عام 1999 دون العثور على أي إجابة قاطعة أو برهان سليم. وعلاوة على ذلك الإنجاز الفريد، تمكن النموذج ببراعة استثنائية من إثبات نظرية التكرار الكمي المتوازي الخاصة بألعاب اللاعبين المتشابكة بشكل عام في البيئات الكمية، وقدم نتائج حاسمة تتعلق بحدسية حجم «إيرهارت» الرياضية المعقدة وحدسية الصلابة الخاصة بالعالم الرياضي «كونز». كما تمت الإشارة، استناداً إلى تقرير مفصل نشره موقع «كوارتز» الإخباري، إلى أن النظام المتقدم تمكن أيضاً بذكاء من حل وتفكيك ثلاث مسائل معقدة إضافية مستمدة من الفهرس الشهير والواسع لعالم الرياضيات البارز «بول إيردوس»، مما يعكس قدرات تحليلية هائلة للنظام قادرة على معالجة المشكلات من زوايا متعددة.
المراجعة الآلية والتحقق الرسمي
أوضحت الشركة بوضوح لا لبس فيه في بيانها التوضيحي أن نظام الذكاء الاصطناعي الخاص بها قد تولى بنفسه وبشكل مستقل وتلقائي مهمة صياغة وتوليد الحجج الرياضية الأساسية والعميقة، في حين تولى مجموعة من الباحثين البشريين المتخصصين بعد ذلك عملية إضفاء الطابع الرسمي والتدقيق اليدوي على كل إثبات رياضي نتج عن النموذج، وذلك باستخدام مساعد الإثبات الآلي والبرمجي المتطور للتحقق من خلوه من المغالطات المنطقية. ومن المثير للاهتمام بشكل خاص ومميز أن مؤشر الأخطاء أو الخطوات غير المتحقق منها والموثقة داخل المستودع البرمجي المنشور على منصة «جيت هاب» يقف حالياً عند مستوى الصفر المطلق، وهو ما يمثل دليلاً تقنياً قاطعاً لا يقبل الشك على أن كل خطوة منطقية وتسلسل رياضي ضمن جميع البراهين العشرة المقدمة قد تم فحصها رياضياً والتحقق من صحتها التامة بواسطة الآلة الصارمة دون وجود أي ثغرات منطقية تذكر قد تشكك في صحة النتيجة النهائية أو تطعن في مصداقيتها العلمية.
انتقادات الخبراء ونقص الشفافية
على الرغم من هذا التحقق الرسمي والتدقيق الآلي الصارم والمكثف للإثباتات الرياضية، إلا أن العديد من النقاد والباحثين الأكاديميين سارعوا بقوة إلى التشكيك بجدية في ما إذا كانت هذه النتائج المبهرة والمعلنة تمثل حقاً قفزة ثورية وتطوراً مفصلياً في القدرات المعرفية الحقيقية للذكاء الاصطناعي أم مجرد تلاعب بالبيانات. وفي هذا السياق، كتب الباحث المرموق والمستقل في مجال الذكاء الاصطناعي، جاري ماركوس، مقالاً نقدياً لاذعاً أشار فيه إلى أن عالم رياضيات محترف يعمل لصالح شركة «أنثروبيك» المنافسة، ويُدعى ليفينت ألبوج، قد تمكن بنجاح وسهولة من تكرار نصف النتائج والإثباتات التي تفاخرت بها الشركة وذلك في غضون 24 ساعة فقط، معتمداً في ذلك على استخدام نموذج «فابل» وهو نموذج مفتوح ومتاح للجمهور بالفعل وليس ذو قدرات سرية. وبناءً على هذه المعطيات الواقعية، جادل ماركوس بقوة بأن هذا النجاح السريع في التكرار والاستنساخ يثير شكوكاً وتساؤلات جدية وعميقة حول ما إذا كان نموذج «أسترا» بحد ذاته هو الاختراق الحقيقي والذكي، أم أن التقدم الفعلي والمهم يكمن ببساطة في القدرة على تحديد واختيار المسائل الرياضية المعينة التي تستجيب بشكل إيجابي وسريع لتقنيات البحث والتحقق الآلية السائدة في النماذج الحالية. وكتب ماركوس منتقداً منهجية الشركة بشدة وافتقارها للشفافية: «إنهم لا يفصحون على الإطلاق عن طبيعة أو عدد المسائل الرياضية المعقدة التي حاولوا حلها وفشلوا فيها تماماً وبشكل ذريع. لقد أعطونا ببساطة البسط بدون أن يكشفوا لنا عن المقام لمعرفة نسبة النجاح الحقيقية، وهو ما يعتبر دائماً في لغة الأبحاث علامة مثيرة للقلق والشكوك المنهجية حيال مصداقية النتائج». كما لفت الانتباه إلى أن الشركة تبدو مترددة حتى الآن في تحديد ما إذا كانت ستطلق على هذا النموذج اسم «جي بي تي 6» ليكون بمثابة جيل جديد وثوري، أم ستكتفي بتسميته «جي بي تي 5 7»، مما يلمح إلى أن هذه القفزة التقنية المزعومة قد تُعتبر داخلياً في أروقة الشركة مجرد ترقية تدريجية وليست اختراقاً ثورياً كما يُشاع، بالإضافة إلى وصف مدونة «إيه سي إم» للإنجاز بأنه رائع ولكنه مبالغ فيه بشكل هائل ولأغراض تسويقية بحتة. ولم يغفل النقاد التذكير بما ورد في «إعلان لايدن» الخاص بالذكاء الاصطناعي في الرياضيات، والذي وقع عليه مئات من علماء الرياضيات البارزين في شهر يونيو من عام 2026، حيث عبروا بصراحة عن مخاوفهم العميقة بشأن الاعتماد المفرط على البراهين المعقدة التي يولدها الذكاء الاصطناعي والتي قد تفتقر للموثوقية ومشاكل النسبة الفكرية الدقيقة للإنجاز.
الخطوات القادمة وتحديات السلامة
حتى هذه اللحظة، لم تعلن الشركة المطورة للنموذج عن أي موعد محدد أو متوقع لطرح نموذج «أسترا» بشكل رسمي ومفتوح للمستخدمين النهائيين والتجاريين، حيث سيكون لزاماً على هذا النموذج المعقد جداً اجتياز المراجعة الدقيقة والمشددة لمعايير ومواصفات السلامة الفيدرالية للذكاء الاصطناعي لضمان عدم إساءة استخدامه قبل أن يرى النور ويصل إلى أيدي الباحثين والمطورين. ومن جانبها، أقرت الشركة صراحة بوجود هذا الجدل الدائر والانتقادات المتصاعدة حول طبيعة إنجازها العلمي، وأصدرت بياناً أكدت فيه أنها تكن «احتراماً عميقاً وتفهماً كاملاً لأولئك الذين يشعرون بالقلق إزاء التأثير المحتمل لهذه التكنولوجيا المعقدة على طبيعة وموثوقية البحث العلمي»، ووعدت بنشر تفاصيل وتوثيق كامل لمنهجيتها العلمية المتبعة قريباً لتهدئة المخاوف. وفي خطوة تهدف لكسب ود المجتمع الأكاديمي، أطلقت الشركة مؤخراً إصداراً خاصاً ومجانياً تحت اسم «شات جي بي تي للباحثين الأكاديميين»، موفرة بذلك وصولاً مجانياً وغير مقيد لحوالي 100000 عالم وباحث متميز لاستخدام أحدث نماذجها المتقدمة في بحوثهم وتجاربهم العلمية.
الفرق بين حل المسائل وبناء نظرية
في خضم هذا السجال العلمي المثير والمستمر، قام عالم الرياضيات البارز والشهير، تيرينس تاو، خلال محاضرة قيمة ألقاها في 26 من شهر يوليو الماضي وأشار إليها ماركوس في انتقاداته اللاذعة، برسم خط فاصل ورسم تمييزاً جوهرياً وبالغ الأهمية بين أمرين مختلفين تماماً: الأول هو القدرة التقنية على إيجاد حلول لمشكلات رياضية فردية ومعزولة ومحددة مسبقاً – وهو المجال الذي يبدو أن الذكاء الاصطناعي يحقق فيه حالياً نتائج قوية وواعدة للوهلة الأولى بفضل سرعة المعالجة – والثاني هو القدرة المعرفية المعقدة، والعميقة، والإبداعية اللازمة لبناء وهندسة نظرية رياضية متماسكة وشاملة ومبتكرة بالكامل من الصفر لتؤسس لعلوم جديدة، وهو المجال البشري البحت الذي لا يتوفر حتى الآن أي دليل علمي قاطع أو إثبات ملموس على قدرة الذكاء الاصطناعي الحالي على مقاربته أو تحقيق إنجاز يُذكر فيه.
أسئلة شائعة
السؤال: ما هي طبيعة الإنجاز الذي تدعيه الشركة بشأن نموذجها الجديد أسترا في مجال الرياضيات؟
الإجابة: أعلنت الشركة أن نموذجها الذكي أسترا نجح بفضل قدراته الفائقة في حل 10 مسائل رياضية معقدة جداً ظلت عصية على الحل والبحث لسنوات طويلة، مثل مشكلة بناء أول مجموعة غير صوفية، بتكلفة حوسبة منخفضة بشكل مفاجئ لم تتجاوز 2000 دولار.
السؤال: لماذا يشكك الخبراء والنقاد في أهمية هذا الإنجاز التقني والرياضي الذي حققه النموذج؟
الإجابة: يرى الخبراء أن الإنجاز قد يكون مبالغاً فيه بشكل كبير لأغراض ترويجية، خاصة بعد تمكن أحد الباحثين المستقلين من تكرار نصف هذه النتائج بسرعة هائلة باستخدام نماذج تقنية أخرى متاحة للعموم، مما يشير إلى أن الاختراق الفعلي يكمن في اختيار المسائل التي تستطيع الآلة حلها وليس في قدرة النموذج بحد ذاته على الابتكار الرياضي المعقد والتفكير المستقل.
السؤال: ما هو الفرق الذي وضحه العلماء بين قدرات الآلة والابتكار البشري في حقل الرياضيات؟
الإجابة: يوضح كبار علماء الرياضيات أن هناك فرقاً شاسعاً جداً بين استطاعة الآلة الوصول إلى حل لمشكلة محددة ومعزولة مسبقاً من خلال البحث المتكرر، وبين القدرة العقلية الفذة والمطلوبة لبناء نظريات رياضية شاملة ومتماسكة من الصفر، وهي مهمة ابتكارية لا تزال حكراً تماماً على العقل البشري المبدع حتى اليوم.
