IT之家، وفقًا لبيانات بتاريخ 9 أكتوبر، كشفت شركة OpenAI عن 719 إجابة رياضية للذكاء الاصطناعي في أكتوبر، وتشمل 372 عائلة من النتائج الرياضية، وترتبط بمئات من أسئلة البحث المفتوحة. لكن بعد الإعلان عنها، تم اتهامها بأنها لم تلتزم بالمعايير التي حددتها “مجموعة مستشاري الرياضيات والذكاء الاصطناعي” (AGMAI).
أفادت شركة IT之家 سابقًا أن OpenAI نشرت في 6 أكتوبر أولاً على GitHub إجمالي 722 مخطوطة رياضية مصنوعة بواسطة الذكاء الاصطناعي، تتضمن 372 عائلة نتائج ومشكلات بحثية مفتوحة متعددة. ولكن في 7 أكتوبر، تم سحب 3 مخطوطات بسبب خطأ في الرمز وتأثيره المتبعثث، والآن العدد العام المعلن هو 719 مخطوطة.
قالت شركة OpenAI إنها استشارة فريق المستشارين في الرياضيات والذكاء الاصطناعي التابع للأكاديمية العليا في برينستون قبل النشر، واستخدمت نصائحهم العامة. ومع ذلك، من المعلومات المتاحة، فإن النشر لم يلبي المعايير التي طرحها الفريق بالكامل.
اقترح AGMAI سابقًا أن تتوقف مختبرات الذكاء الاصطناعي المتقدمة عن اختبار المسائل الرياضية الصعبة على النماذج الخاصة التي لا يمكن الوصول إليها من الخارج، وطلب أيضًا الكشف عن أسماء النماذج، والتعليمات، وسلاسل الاستدلال، ووقت الاستخدام وتكاليف الحساب؛ لكن OpenAI استخدمت نموذجًا خاصًا هذه المرة، وفقط 10 مخطوطات تحتوي على سلاسل استدلال النموذج.
من ناحية قابلية الفهم البشري، أكدت مجموعة المستشارين أن الأدلة التي تُولد بواسطة الذكاء الاصطناعي يجب أن تكون سهلة على المحللين الرياضيين لفحصها ودراستها؛ لكن وفقًا للتقارير، حوالي 42% من الأدلة التي نشرتها OpenAI لم تخضع للتحليل الشكلي، ولم يتم توفير بيانات وصفية قابلة للقراءة بالآلة تربط بين الأدلة اللغوية الطبيعية والمنتجات الشكلية.
أعلنت AGMAI في الوقت نفسه أن دورها الاستشاري لا يشكل اعترافًا بحصول OpenAI على أو نشر هذه النتائج، ولا يزال يتعين على الدوائر الرياضية تقييم مدى تنفيذ التوصيات بشكل كامل. وقد أثار هذا الحدث مرة أخرى جدلًا حول شفافية النتائج الرياضية التي تُولد بواسطة الذكاء الاصطناعي، والتحقق الشكلي منها، ومراجعتها من قبل الأقران، واستقلالية البحث العلمي.
نشر تاو تشيزون في 7 أكتوبر على mathstodon مقالًا يفيد بأنه لا يعارض استخدام الذكاء الاصطناعي في الرياضيات، بل كان دائمًا مستخدمًا نشطًا للبحث الذي يدعمه الذكاء الاصطناعي؛ لكنه يعارض بشدة اعتبار “التغلب السريع على المشكلات الرياضية الشهيرة باستخدام الذكاء الاصطناعي” هدفًا رئيسيًا أو منتجًا للعرض. ويعتقد أن ذلك سيدمر آليات الفهم والتدريس والتعاون والاستكشاف المفتوح التي تعتمد عليها المجتمع الرياضي.
أشار تاو تشيشوان إلى أنه في الرياضيات التقليدية، لا يتم تحقيق اختراق لالهجة مقترحة منذ فترة طويلة بمجرد “الحصول على الإجابة”: يقدم المؤلف تقريرًا، يشارك في نقاشات، يتواصل مع الزملاء، ثم يتم تبسيط الدليل، وتفسيره، وإدراجه في الكتب المدرسية، كما ينشأ مشكلات جديدة، ومشاريع تعاون، واتجاهات بحثية جديدة.
أما أسلوب الشركات مثل OpenAI الحالي، فغالبًا ما يتم توجيه الذكاء الاصطناعي لحل المشكلات بشكل مستقل من قبل المستخدم الذي يقدم التلميحات؛ وبمجرد “حل” المشكلة، نادرًا ما يحدث أي فهم أو تقرير أو مناقشة مع الزملاء أو بناء المجال. ويعتقد تاو تشيزون أن الناشر قد لا يكون قادرًا حتى على تفسير ما يخرجه الذكاء الاصطناعي أو الإجابة على الأسئلة أو التفاعل مع المجال.
يسمي هذا الوضع “ألم الهضم في عالم الرياضيات”: يمكن للذكاء الاصطناعي إنتاج القضايا والبراهين والأمثلة المضادة بسرعة فائقة،لكن البشر لا يستطيعون التحقق منها أو فهمها أو كتابتها أو تدريسها أو استيعابها في الوقت المناسب، مما يؤدي إلى ظهور الكثير من “البراهين التي لا يمكن لأحد أن يمتصها”.
ما يقلقه بشكل خاص هو أن OpenAI تعتبر معادلات نافي-ستوكس وغيرها من التحديات الخاصة بالقرن الجديد كمعيار لقدرات النموذج. في رأيه، يُعتبر "عدد الأسئلة التي يتم حلها وسرعة حلها" مقياسًا لـ"الفهم والرؤية"؛ لكن السرعة والعدد لا تعنيان بالضرورة الفهم الرياضي.
أكد تاو تشي شوان أن بمجرد الكشف عن “الحل” للمشكلة، يصبح من المستحيل تقريبًا العودة إلى حالة “غير مُحلولة”. حتى لو أراد الناس فيما بعد البحث عن مسارات مختلفة واستخلاص طرق جديدة، فإن معرفة وجود الإجابة فقط ستُلوّث عملية البحث.
لذلك، انتقد أن هذا نوع من "الحصاد" الكبير غير مستدام: حيث يتم اعتبار المشكلات المفتوحة كموارد يمكن استهلاكها بكميات كبيرة، مما سيجعل مجال الرياضيات بأكمله أقل خصوبة من خلال الأساليب البحثية التقليدية.
ملاحظة من صفحة IT之家: تاو تشيزون هو أحد أشهر علماء الرياضيات المعاصرين، وأستاذ الرياضيات في جامعة كاليفورنيا في لوس أنجلوس (UCLA)، كما هو حاصل على جائزة فولتز عام 2006؛ ويُعرف غالبًا بـ“موزارت عالم الرياضيات”.
قراءة ذات صلة: