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