مباشر
أين يمكنك متابعتنا

أقسام مهمة

Stories

31 خبر
  • العملية العسكرية الروسية في أوكرانيا
  • حرب الخليج
  • رياضة
  • العملية العسكرية الروسية في أوكرانيا

    العملية العسكرية الروسية في أوكرانيا

  • حرب الخليج

    حرب الخليج

  • رياضة

    رياضة

  • فيديوهات

    فيديوهات

  • وسائل إعلام إسرائيلية: كراهية المصريين "المجنونة" لنا امتدت إلى الرياضة 

    وسائل إعلام إسرائيلية: كراهية المصريين "المجنونة" لنا امتدت إلى الرياضة 

ذكاء اصطناعي صيني يحل مسألة رياضيات حيرت العلماء لعقد من الزمن

تمكن نظام ذكاء اصطناعي صيني من حل مسألة رياضيات معقدة ظل العلماء عاجزين عنها لعشرة أعوام، كانت قد طرحها عالم رياضيات أمريكي عام 2014.

ذكاء اصطناعي صيني يحل مسألة رياضيات حيرت العلماء لعقد من الزمن
Gettyimages.ru

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

والمسألة المحلولة هي "تخمين جبري" كان قد وضعه الأستاذ دان أندرسون من جامعة آيوا قبل وفاته عام 2022.

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

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

ويعتمد النظام الجديد على آلية ذكية تبدأ بنظام استدلال اسمه "ريثلاس" (Rethlas)، يستخدم محرك بحث للنظريات الرياضية يسمى Matlas لاستكشاف استراتيجيات الحل. وعندما يصل هذا النظام إلى برهان محتمل، يتولى نظام ثان اسمه "آرخون" (Archon) باستخدام محرك بحث آخر يسمى LeanSearch، تحويل ذلك البرهان إلى مشروع يمكن لمثبت نظريات تفاعلي يدعى "لين 4" (Lean B4) التحقق منه. وهذا المثبت ليس مجرد أداة، بل هو لغة برمجة متكاملة تحتوي مكتبتها على مئات الآلاف من النظريات والتعريفات الرياضية.

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

ويؤكد الفريق أن هذا العمل يمثل نموذجا واعدا للمستقبل، حيث تعمل أنظمة الاستدلال غير الرسمي والرسمي جنبا إلى جنب لإنتاج نتائج قابلة للتحقق، مع تقليل الجهد البشري بشكل كبير.

المصدر: إندبندنت

التعليقات

"لدينا حرب يجب خوضها".. ترامب يطلب من الحاضرين خلال اجتماع لقطاع التعدين المغادرة سريعا (فيديو)

في رسالة بعد "اتفاق مكة المشترك".. رضائي: الاتفاق الورقي مع تركيا وباكستان لن يجلب الأمن للسعودية

رئيس الوزراء القطري الأسبق يعلق على "اتفاقية مكة للدفاع المشترك"

"رويترز": السعودية استخدمت نحو 86% من صواريخ "باتريوت" الاعتراضية من طراز "PAC-3"

شبكة "CNN": كبار قادة الجيش الأمريكي يبحثون عن "مخرج" من حرب إيران

"مواد تكفي لصنع 10 قنابل".. إعلام عبري: خمسة أشهر من الحرب لم توقف البرنامج النووي الإيراني

"المقاومة الإسلامية في العراق" تعلن تأجيل ردها العسكري على الضربات السعودية الأمريكية (فيديو)

البنتاغون يعفي قائد الفيلق الخامس المسؤول عن تنسيق الدعم لأوكرانيا من منصبه

الخارجية الأمريكية: واشنطن تتحرك لقطع شريان التمويل غير المشروع الذي تعتمد عليه إيران

بزشكيان يوضح بماذا تختلف إيران عن إسرائيل ويتحدث عن خلاف حكومته مع الحرس الثوري

أردوغان يؤدي صلاة الجمعة في مكة المكرمة مع ولي العهد السعودي ورئيس الوزراء الباكستاني (صور + فيديو)

مجلس الأمن يدين الهجمات الصاروخية الحوثية على السعودية ويستنكر الرحلات الجوية غير المصرح بها لليمن

بن غفير ردا على "نيويورك تايمز": يمكنهم الاستمرار في تشويهنا أما أنا فسأدعم مقاتلينا ومصلحة السجون

الخارجية الفنلندية تبقي التعليمات لمواطنيها الراغبين بالقتال في أوكرانيا وتحذر من غياب المساعدة