With respect to the second generation proof you can get an answer from the horse's mouth' if you like: Ron Solomon gave an update on the program at BIRS recently and a video of his talk is here.
With respect to the second generation proof you can get an answer from the horse's mouth' if you like: Ron Solomon gave an update on the program at BIRS recently and a video of his talk is here.