الاستدلال الرياضي بالذكاء الاصطناعي