ماذا يعني أن تكون عالم رياضيات عندما تقوم الذكاء الاصطناعي بالحسابات

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