This is an excellent update on the current status of the proof, with a very good overview of the benefits of using category theory.