Our colleague Inna Capdeboscq is participating in an effort by a group of mathematicians to produce a new proof -- the Generation-2 proof – of the Classification of Finite Simple Groups.
For more, see our article "Classification of Finite Simple Groups": https://warwick.ac.uk/fac/sci/maths/research/wmi_mag/i_capdeboscq/
All our WMI magazine articles: https://warwick.ac.uk/fac/sci/maths/research/wmi_mag/