صورة رمزيةرياضيون يشككون في آلية التحقق بعد نشر OpenAI مئات النتائج المعلنة
نشرت OpenAI يوم الثلاثاء مجموعة كبيرة من النتائج الرياضية التي أنتجها الذكاء الاصطناعي. الرياضيون منبهرون لكنهم يشككون في كيفية التحقق منها.
نشرت OpenAI النتائج على GitHub مع تدوينة يوم الثلاثاء 6 أكتوبر. وتحصي صحيفة FAZ أكثر من 700 مساهمة تتضمن حلولاً أو براهين أو أجزاء منها، بينما تتحدث الغارديان عن أكثر من 370 نتيجة في مجالات تمتد من نظرية الأعداد والهندسة الجبرية إلى المنطق الرياضي. ووفق صحيفة وول ستريت جورنال التي نقلت عنها FAZ، تشمل النتائج تقدماً في ثلاث من مسائل الألفية الخمس المتبقية؛ وقال أليكس كونتوروفيتش من جامعة روتجرز إن إنساناً حقق ذلك لضمن ميدالية فيلدز. وتقول OpenAI إنها عرضت نحو 4000 مسألة على النموذج وشرحت منهجها وقدرة الحوسبة المطلوبة.
شكوك حول التحقق والوصول
تقول OpenAI إنها استشارت خبراء من Advisory Group on Mathematics and Artificial Intelligence في Institute for Advanced Study. أما المعهد نفسه فقال إنه لا يؤيد اختبار أصعب المسائل على نماذج مملوكة لشركات، محذراً من نظام بمستويين ومن حجج ذكاء اصطناعي لا يستطيع أي إنسان التحقق منها. ووعدت OpenAI بإعطاء الرياضيين صوتاً، لكنها لم تقل إنها ستتوقف عن هذه الممارسة. وقال الرياضي تريستان باكماستر من جامعة نيويورك لصحيفة نيويورك تايمز إن المدخلات ربما زودت النموذج بمعلومات ساعدته في الوصول إلى النتائج.