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