150 عالما في الرياضيات يحذرون من "الهالة الكبيرة" حول الذكاء الاصطناعي

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