Breaking News

الذكاء الاصطناعي وعلم الرياضيات


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


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



في الإصدار الأولي ، تمكن البرنامج من إثبات 5919 ، أو 58 ٪ من مجموعة التدريب. عندما طبقوا برامجهم على مجموعة من 3217 نظرية جديدة لم يسبق لها مثيل ، نجحت في إثبات 1251 ، أو 38.9 ٪. ليس سيئًا بالنسبة لبرنامج جديد تمامًا ...

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

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





ليست هناك تعليقات

" التعليقات تهمنا بشكل كبير يساعدنا ذلك فى تطوير موقعنا "