کاربرد هوش مصنوعی در توسعه دانش ریاضی