Is every finite lattice a congruence lattice of a finite (universal) algebra?
Astonishingly, by Pálfy and Pudlák, this question is equivalent to a question in group theory: is every finite lattice isomorphic to an interval of the subgroup lattice of a finite group?
