أسترا من OpenAI تحل 10 مسائل رياضية كبرى، لكنها تثير مخاوف عميقة

في الأول من أغسطس، نشرت OpenAI منشورًا في مدونتها تدعي فيه أن نسخة داخلية من Astra، نموذج اللغة من الجيل التالي، قد حلت أو دفعت إلى الأمام بشكل حاسم عشرة مسائل مفتوحة في الرياضيات وعلوم الحاسوب النظرية. تغطي المسائل موضوعات متقدمة مثل الهندسة عالية الأبعاد، نظرية الترميز، تعقيد الدوائر الحسابية، نظرية الزمر، جبر المعاملات، التعقيد الكمي، التشفير القائم على الشبكات، والتوافقيات المتطرفة. وقالت OpenAI إن التكلفة الإجمالية لهذا الإنجاز كانت حوالي 2000 دولار من الرموز المميزة لكل مسألة، مع التحقق من النتائج باستخدام مساعد الإثبات الرسمي Lean. أثار هذا الإعلان حماسًا وقلقًا في الوقت نفسه داخل المجتمع الرياضي. أشار الباحث جاي كامينز إلى أنه للمرة الأولى، حل ذكاء اصطناعي مسألة كان قد عمل عليها شخصيًا لسنوات، مما جعل الهزيمة صعبة التقبل. وتساءل المستثمر نيكولاس بوستامانتي عن مستقبل وسام فيلدز، متسائلًا من يحصل على التقدير عندما تكون المسائل على بُعد مطالبة واحدة. ومن الجدير بالذكر أن الحائز على وسام فيلدز، جاكوب تسيمرمان، علق كرسيه في جامعة تورنتو ليلتحق بـ OpenAI في أواخر يوليو، مركزًا ليس على القدرات الرياضية بل على سلامة الذكاء الاصطناعي. وحذر تيرينس تاو، الحائز أيضًا على وسام فيلدز، من تحول خطير: مع توليد البراهين الآلي، تنتقل الرياضيات من الندرة إلى الوفرة، لكن الباحثين لا يستطيعون مواكبة التحقق من البراهين واستيعابها. وشبه البراهين الرياضية الخام التي ينتجها الذكاء الاصطناعي بـ "جثث حيوانات غامضة" تُلقى في وليمة مجتمعية، حيث لا أحد لديه الوقت لتنظيفها وطهيها. كما أعرب تسيمرمان عن أسفه لظهور "الثرثرة الرياضية" من مستخدمين بلا خبرة يقدمون مخرجات ChatGPT الخام إلى المختبرات. وحذر كلاهما من أن الحلول الرسمية للتخمينات الشهيرة قد تقتل التمويل والاهتمام بتلك الموضوعات، على الرغم من أن لا إنسان يفهم الحلول، مما يؤدي إلى تخصص يتقدم دون فهم.