Pentagon Tiling Proof (2017)

A great piece HERE in Quanta magazine on how the French mathematician Michaël Rao has used a computer aided approach to complete the classification of convex polygons that tile the plane by solving the problem for pentagons.