العلوم و التكنولوجيا

نشرت OpenAI أكثر من 700 مسألة رياضية تم حلها بواسطة الذكاء الاصطناعي

نشرت openai


نجح نموذج الذكاء الاصطناعي الذي لم يتم إصداره بعد في OpenAI في حل 722 مسألة رياضية. قامت الشركة بنشرها في مستودع على GitHub ، وقامت بتجميعها في 372 مجموعة من النتائج. سوف يستغرق الأمر أشهرًا حتى يتمكن علماء الرياضيات من فرز هذه المصفوفة وتفسيرها، بما في ذلك تحديد ما إذا كانت البراهين تحتوي على أفكار جديدة ومهمة أم أنها عبارة عن تجميع للطرق الموجودة. ومع ذلك، فقد تم بالفعل اختبار العديد من النتائج في Lean ، وهي لغة برمجة تتحقق من صحة منطق الإثبات، وبالتالي فهي صحيحة بشكل شبه مؤكد. ومن بين النتائج المزعومة حل لحدسية كاكيا رباعية الأبعاد، وتحسينات لبعض خوارزميات الكمبيوتر الأكثر أهمية في العالم، والتقدم الحقيقي نحو المشكلة الأكثر صعوبة في الرياضيات – فرضية ريمان. صرح متحدث باسم OpenAI لمجلة Scientific American أن النموذج الجديد أنتج جميع نتائجه تقريبًا استجابةً لاستعلام واحد موجه إلى وكيل ذكاء اصطناعي واحد. كان هذا تناقضًا صارخًا مع الحل البارز السابق لمشكلة نافييه-ستوكس، والذي تم تحقيقه من خلال الجهود الجماعية لسرب من 10000 عميل وكلف ملايين الدولارات من الطاقة الحاسوبية. إذا كان هذا صحيحا، فهذا يعني أن قوة رياضية غير مسبوقة يمكن أن تكون متاحة للجميع قريبا. لكن سمعة OpenAI بين علماء الرياضيات -التصريحات الجريئة مع الحد الأدنى من الشفافية- تثير شكوكًا طبيعية. قال عالم الرياضيات أندرو ساذرلاند من معهد ماساتشوستس للتكنولوجيا: “إلى أن يطلقوا نموذجًا ويتمكن الناس من إعادة إنتاج نتائجهم، أعتقد أن أي ادعاءات حول وجود وكيل واحد يحل المشكلات من استعلام واحد يجب اعتبارها غير مختبرة. دعهم يقدمون الدليل”. تسبب نشر حل مشكلة Navier-Stokes في حدوث مثل هذا الجدل حيث أعلنت الشركة في 21 سبتمبر عن إنشاء مجموعة استشارية مستقلة من علماء الرياضيات لتطوير لوائح النشر المسؤول لنتائج الذكاء الاصطناعي. تدعو إرشادات المجموعة الشركة التي تنشر مثل هذه النتائج إلى الكشف عن النموذج والاستعلام الدقيق ووقت الحساب لكل منها. ومع ذلك، لا يزال OpenAI يفضل الكشف فقط عن متوسط ​​وقت الحساب لمهمة ما، وبعض الإحصائيات الإضافية – دون أي استفسارات. وأوضح أحد ممثلي الشركة أن شركة OpenAI تأخذ توصيات المجموعة الاستشارية على محمل الجد وتحاول اتباعها، ولكنها ليست ملزمة بذلك. ومع احتدام الجدل بين نافييه وستوكس، دفعت التعليقات التي أبداها موظفو شركة OpenAI بعض علماء الرياضيات إلى الاعتقاد بأن النموذج قد أنتج نتائج إضافية لم يتم الإعلان عنها بعد. وهذا يثير سؤالاً مهماً: هل من الأشد ضرراً إلقاء كومة من الأدلة غير المبررة على المجتمع أم إخفاءها تماماً؟ يقول عالم الرياضيات دانييل ليت من جامعة تورونتو: “إذا أردنا معرفة الإجابات عن هذه الأسئلة الرياضية، فلا أرى أي سبب لإبقائها سرا. بالنسبة لي، سيكون هذا بمثابة نعمة للرياضيات”. من ناحية أخرى، انتقد عالم الرياضيات الشهير تيرينس تاو علنًا شركة OpenAI وغيرها من مختبرات الذكاء الاصطناعي المتطورة بسبب وتيرتها “المجنونة” في نشر النتائج الناتجة عن الذكاء الاصطناعي. من الجدير بالذكر أن هذه النتائج تظهر بسرعة كبيرة جدًا حتى بالنسبة للمطورين أنفسهم – فقد اعترفت OpenAI بأن علماء الرياضيات في الشركة لم يفهموا بعد كل شيء في الحلول المنشورة بالفعل. ومع ذلك، ليس لديهم أي خطط للتباطؤ. تريد الشركة وضع أقوى أداة ممكنة في أيدي علماء الرياضيات. وأضاف الممثل علاوة على ذلك، أن هذه الحلول تمثل اختبارًا يوضح التطور السريع للذكاء الاصطناعي من OpenAI. اشترك واقرأ “العلم” في MAX

المصدر الأصلي: naukatv.ru

wakalanews.com — متابعة الخبر
المصدر:

مقالات ذات صلة

زر الذهاب إلى الأعلى