دراسة ترصد تغيير النماذج اللغوية لنطاق المبرهنة عند ترجمة الرياضيات
تختبر ورقة أولية بتاريخ 2 أكتوبر ما إذا كان الذكاء الاصطناعي يحافظ على الافتراضات المضمّنة في اللغة الرياضية.
عندما يغير إعادة الصياغة السليمة لغوياً مضمون الادعاء
تطرح ورقة أولية منشورة في 2 أكتوبر سؤالاً أقل شيوعاً عن الاستدلال الرياضي للذكاء الاصطناعي: هل يحافظ النموذج على نطاق العبارة عند إعادة كتابتها بلغة مجال رياضي مجاور؟ فقد تحتاج نتيجة عن الفضاءات المتجهية، مثلاً، إلى افتراض صريح بأن المقاييس حقل عند صياغتها بوصفها عبارة عن الوحدات. وقد يحول ترك هذا الافتراض ضمنياً إعادة صياغة تبدو سليمة إلى ادعاء عن فئة أوسع من الكائنات.
اختبر الباحثون سبعة نماذج عبر 90 زوجاً من العبارات، وفصلوا بين الصدق والمحتوى والنطاق بدلاً من منح إجابة درجة كلية واحدة. وعند الترجمة نحو صياغة أعم، وسعت النماذج المجال في 60.6% من عمليات إعادة الصياغة؛ وفي الاتجاه المعاكس ضيقت المجال في 28.3%. وتفيد الورقة بظهور النمط مجدداً في مجموعة معلقة وفي عبارات كتبها رياضيون.
هذه دراسة لمهمة ترجمة محددة، وليست حكماً بأن كل برهان أو شرح يولده الذكاء الاصطناعي غير سليم. لكنها تقدم خطوة مراجعة عملية: ما الافتراضات الضمنية في اللغة الأصلية، وهل نُقلت إلى الصياغة الجديدة؟ النتائج ورقة أولية، ولم تُعِد MathsAI اختبارها بصورة مستقلة.