حلول غير متوقعة الذكاء الاصطناعي يفك شفرة لغز رياضي استعصى على العلماء
شهد العالم في السنوات الاخيرة تحولا جذريا في دور الذكاء الاصطناعي داخل العلوم الدقيقة، خصوصا في الرياضيات البحتة، حيث لم يعد مجرد اداة لحل المعادلات او تسريع الحسابات، بل اصبح قادرا على المساهمة في اكتشاف براهين رياضية جديدة، بل وحتى حل مسائل مفتوحة استعصت على علماء الرياضيات لعقود طويلة.
احد اكثر الامثلة تداولا في الاعلام العلمي والتقني هو ما اطلق عليه "مسالة المسافة الواحدة" (Unit Distance Problem)، وهي مسالة تعود جذورها الى عالم الرياضيات الشهير بول ايردوش، الذي طرحها عام 1946 ضمن سلسلة من المشكلات التي اصبحت تعرف لاحقا باسم "مشكلات ايردوش" التي تقيس تقدم الرياضيات الحديثة، ووفقا للسرد العلمي، فان هذه المسالة تتعلق بتوزيع نقاط في مستوى ثنائي الابعاد بحيث يتم تحديد عدد الازواج التي تفصل بينها مسافة وحدة واحدة فقط.
لطالما اعتبرت هذه المسالة مثالا على "المشكلات التوافقية العميقة"، حيث اثبت ايردوش ان ترتيب النقاط على شبكة منتظمة يعطي عددا معينا من الازواج ذات المسافة الواحدة، لكنه افترض ان هذا الترتيب قريب من الامثل، وان تحسينه بشكل كبير امر صعب جدا ان لم يكن مستحيلا.
لكن التطور الحقيقي لم يات من الرياضيات التقليدية، بل من انظمة الذكاء الاصطناعي الحديثة التي طورتها جهات بحثية رائدة مثل اوبن ايه اي (OpenAI)، وبدات في اختبار قدرات النماذج على مسائل رياضية معقدة كجزء من تقييم الذكاء العام.
وبحسب التقرير الاصلي المنشور في سياق البحث، فقد تم تقديم المسالة الى نموذج ذكاء اصطناعي داخلي، دون اي تدخل بشري مباشر في صياغة الحل او خطوات البرهان، ليقوم النموذج بانتاج حل رياضي اعتبر لاحقا مفاجئا للباحثين انفسهم، وفق تصريحات احد اعضاء الفريق الذين اشاروا الى انهم "لم يصدقوا النتيجة في البداية".
لفهم اهمية هذا التطور، يجب التمييز بين حل مسالة حسابية وانتاج برهان رياضي، ففي الحالة الاولى، يقوم الذكاء الاصطناعي بتنفيذ عمليات رياضية سريعة، بينما في الحالة الثانية، يقوم ببناء سلسلة منطقية من الاستنتاجات التي تثبت صحة او خطا فرضية معينة.
وما يجعل هذا الانجاز مهما هو ان النموذج لم يكتف بالحساب، بل قدم برهانا منطقيا متسلسلا، وهو ما يمثل خطوة اقرب الى الابداع الرياضي الالي.
ويتماشى هذا التطور مع الاتجاه العام في ابحاث الذكاء الاصطناعي الرياضي، حيث تعمل شركات مثل جوجل ديب مايند (Google DeepMind) على تطوير انظمة قادرة على اقتراح افكار رياضية جديدة وليس فقط التحقق من صحة البراهين.
ورغم الحماس الكبير، فان المجتمع الرياضي يتعامل عادة بحذر شديد مع اي ادعاءات تتعلق بالذكاء الاصطناعي، فعلماء الرياضيات معروفون بدقتهم الشديدة ورفضهم لاي نتائج لا تخضع للتحقق الصارم.
لكن بعض التصريحات التي نقلت عن باحثين بارزين كانت لافتة، فقد اشار عالم الرياضيات نوغا الون من جامعة برينستون الامريكية الى ان الذكاء الاصطناعي "نجح فيما فشل فيه باحثون ممتازون"، كما وصف دانيال لت من جامعة تورنتو الكندية، النتيجة بانها "اول مثال مثير لنتيجة تولد بشكل مستقل عن الانسان".
اما تيموثي غاورز، الحائز على ميدالية فيلدز واحد ابرز علماء الرياضيات في العالم، فقد اعتبر ان النتيجة تمثل "علامة فارقة في الذكاء الاصطناعي الرياضي"، مشيرا الى ان المنافسة البشرية في هذا المجال قد تصبح اكثر صعوبة مستقبلا.
وتعكس هذه الاراء اجماعا متزايدا على ان الذكاء الاصطناعي لم يعد مجرد اداة مساعدة، بل اصبح فاعلا علميا في حد ذاته.
تكمن اهمية هذا النوع من الانجازات في انه يعيد تعريف طريقة انتاج المعرفة الرياضية، فتقليديا، كانت الرياضيات تعتمد على الحدس البشري، والتجربة الفكرية، والبرهان المنطقي الصارم، لكن مع دخول الذكاء الاصطناعي، اصبحت العملية اكثر تشاركية، حيث يمكن للالة ان تولد فرضيات جديدة، وتختبر الاف المسارات المنطقية بسرعة، وتقترح براهين غير بديهية، وتساعد في اكتشاف انماط خفية في البيانات الرياضية.
هذا التحول يفتح الباب امام مفهوم جديد يعرف بالبرهان الالي (Automated Theorem Proving)، وهو مجال يجمع بين المنطق الرياضي وعلوم الحاسوب، ويهدف الى جعل الالة قادرة على اثبات النظريات بشكل مستقل او شبه مستقل.
رغم الاثارة الاعلامية حول "حل لغز عمره 80 عاما"، يجب التعامل مع هذه الادعاءات بحذر، فكثير من الباحثين يشيرون الى ان هذه النتائج غالبا ما تكون جزءا من سياق بحثي اوسع، وليس "حلا نهائيا لمشكلة واحدة مغلقة" كما توحي العناوين.
بمعنى ادق، ما يحدث ليس انتصارا مفاجئا على مسالة واحدة، بل تقدما تدريجيا في قدرة الانظمة الذكية على التعامل مع فئة كاملة من المسائل الرياضية المعقدة.
المستقبل القريب يشير الى تكامل متزايد بين علماء الرياضيات والانظمة الذكية، فادوات مثل المساعدات البرهانية (Formal Proof Assistants) اصبحت جزءا من العمل الاكاديمي، ومع تطور النماذج اللغوية الكبيرة، قد نصل الى مرحلة يصبح فيها الذكاء الاصطناعي شريكا اساسيا في صياغة النظريات الرياضية.
لكن رغم هذا التقدم، يظل العنصر البشري ضروريا، خصوصا في صياغة الاسئلة العميقة، واختيار الاتجاهات البحثية، وتفسير النتائج ضمن سياق علمي اوسع.
في النهاية، فان ما تكشفه هذه التطورات ليس مجرد نجاح تقني، بل تحول في بنية المعرفة الرياضية نفسها، فالذكاء الاصطناعي، كما تشير تجارب اوبن ايه اي وجوجل ديب مايند، لم يعد مجرد اداة حسابية، بل اصبح شريكا في انتاج البرهان الرياضي.
وبينما لا تزال الاسئلة مفتوحة حول حدود هذا الدور، يبدو ان الرياضيات تدخل مرحلة جديدة عنوانها من البرهان البشري الى البرهان المشترك بين الانسان والالة.
