Learning to compute Gröbner bases