show/hide this revision's text 2 added parenthetical remark

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.

He starts the talk by comparing its progress to `the receding of the glaciers'! In reality, though, they've made very significant headway into the later volumes. (In particular he mentions, around 9:30, that volume 7 is in preparation, and it is mainly this volume that he's discussing in the talk.)

show/hide this revision's text 1

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.

He starts the talk by comparing its progress to `the receding of the glaciers'! In reality, though, they've made very significant headway into the later volumes.