نشر عالم الرياضيات فرانك كاليجاري تقييمًا صريحًا لما فعله الذكاء الاصطناعي في مجاله، مجادلًا في مدونة تيرينس تاو المؤثرة بأن إصدار أكثر من 700 ورقة بحثية بواسطة OpenAI في السادس من أكتوبر كان "نقطة تحول في تاريخ الرياضيات". المنشور الذي يحمل عنوان "لقد تغيرت الرياضيات. دعونا نتصرف على هذا النحو"، ظهر يوم السبت وسرعان ما وصل إلى الصفحة الأولى من Hacker News، حيث اجتذب مئات التعليقات. تمثل الرسالة الأساسية للمقال تحديًا لعلماء الرياضيات بقدر ما تمثل تحديًا لشركات الذكاء الاصطناعي - وللاطلاع على التغطية المستمرة لهذا التصادم، راجع [أخبار أبحاث الذكاء الاصطناعي] (https://aibuzzwire.news).

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

حكم صريح على الأوراق نفسها

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

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

"تم إثبات كل شيء"

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

يكتب: "كنت أتوقع رؤية عدد قليل منهم في القائمة". "لكن ليس كلهم. ليس كلهم ​​مرة واحدة. ليس بهذه اللامبالاة." بالنسبة لعالم رياضيات عامل، فإن تجربة مشاهدة كل مشكلة تطرقت إليها وهي تكتسح دورة الصحافة في الشركات هي أمر مربك بطريقة لا تكون فيها الحجج المجردة حول مخاطر الذكاء الاصطناعي.

الجدول الدوري ليس كيمياء

يعارض كاليجاري بشدة فكرة أن المطالبة بمعالم الحقل الشهيرة تعني أن الحقل قد انتهى. ويشير إلى أن أوراق OpenAI لم تحقق "تأثيرًا كبيرًا" على المشكلات العامة المتعلقة بالوظيفة والمعاملة بالمثل في برنامج لانجلاندز، وهو أحد أعمق الهياكل في نظرية الأعداد الحديثة.

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

تحذير من تاريخ نظرية المجموعات

المرتكز التاريخي للمقال هو تصنيف المجموعات البسيطة المحدودة - وهي ملحمة يعرفها كاليجاري من الداخل. في عام 1972، أعلن دانييل جورنشتاين عن برنامج للتصنيف. وبعد حوالي عقد من النشاط المحموم، تم الإعلان عن اكتمال التصنيف في عام 1983 - قبل الأوان، كما تبين فيما بعد، مع عدم الانتهاء من حالة مجموعات الكواسيثين حتى أكملها أشباخر وسميث بعد عقدين تقريبًا.

كتب كاليجاري أن التصنيف كان "نجاحًا كبيرًا من نواحٍ عديدة، لكنه كان أيضًا فاشلاً" - فقد أدى الإعلان عن اختفاء المشكلة الشهيرة إلى تهدئة الاهتمام بالموضوع، وتحويل انتباه علماء الرياضيات إلى مكان آخر. ومع ذلك، ظلت هناك أسئلة غنية، بما في ذلك ما يعتبره المفضل لدى جون كونواي: لماذا توجد مجموعة مونستر؟ بالنسبة لبعض المجالات، يقترح كاليجاري، أن تفريغ OpenAI قد يبدو تمامًا كما شعر به منظرو المجموعات من التصنيف.

ما يريد كاليجاري من علماء الرياضيات أن يفعلوه

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

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

جزء من حساب أكبر بكثير

يأتي المقال وسط عام من الاحتكاك المتصاعد بين علماء الرياضيات ومختبرات الذكاء الاصطناعي. أفادت AI Buzz Wire سابقًا عن علماء الرياضيات الذين يطالبون بإثبات أن نماذج OpenAI لم يتم تدريبها على مناقشاتهم الخاصة، وعن الحائزين على 25 ميدالية في فيلدز، بما في ذلك تيرينس تاو، الذين أعلنوا عن "اختلال شديد" بين الذكاء الاصطناعي والرياضيات، وعن مخاوف معهد الدراسات المتقدمة بشأن 377 نتيجة رياضية مشتقة من الذكاء الاصطناعي، وعن تحذيرات تاو الخاصة من أن الذكاء الاصطناعي يستخرج بشكل غير متجدد مخزون العالم من المسائل المفتوحة الجيدة.

ما يجعل المقال الجديد ملحوظًا هو التحول في الموقف. كانت الملاحظة المهيمنة في الردود السابقة هي التنبيه؛ كاليجاري هو التكيف. التكنولوجيا، في روايته، لن تختفي، والمطالبات غير العادية لن تختفي، والمتغير الوحيد الذي يتحكم فيه المجال هو استجابته الخاصة - كيف ينشر، وكيف يدرب، ومن يوظف.

---

ابقَ في طليعة الذكاء الاصطناعي

احصل على آخر الأخبار والتحليلات والإنجازات في مجال الذكاء الاصطناعي — كل ذلك في مكان واحد.

اقرأ المزيد من أخبار الذكاء الاصطناعي →