In any dimension other than 4, a compact topological manifold has only a finite number of essentially distinct PL or smooth structures.
The solution to the smooth Poincaré conjecture is known in all dimensions other than 4 (it is usually false in dimensions at least 7; see exotic sphere).