О развитии технологии обучения компьютерных решателей математических задачстатья