The breakthrough proof bringing mathematics closer to a grand unified theory [pdf]
lims.ac.uk