Мне кажется, что термин "интеллектуально управляемый" близок к термину "математическая элегантность". Думаю, что у второго термина тоже нет четкого определения, что считать математически элегантным, а что не считать таковым, хотя оба термина интуитивно понятны.