In 1982, Michael Freedman used the E8 lattice to construct an example of a topological 4-manifold, the E8 manifold, which has no smooth structure.
In 1982, Michael Freedman used the E8 lattice to construct an example of a topological 4-manifold, the E8 manifold, which has no smooth structure.