Карлики управляют великанами

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

Академик С. Я. Вавилов