المواضيع

البراهين الرياضية المُولَّدة بالذكاء الاصطناعي

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