Finite lattice representation and undecidability
What the paper claims, in its own words
Some finite lattices are not congruence lattices of any finite algebra, answering the finite lattice representation problem negatively. Moreover, no algorithm decides whether a finite lattice has such a representation, or whether it is a full subgroup interval of a finite group.
The plain-language explainer for this entry is still coming.