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

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

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

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

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

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