Dreaming of equations